As a consequence of treating all flag choices as a common goal for
conflict set computation, error message slicing was broken and did
not contain any information about flag choices anymore.

With this change, information about flag choices is once again
included in error messages.