Running SAT-based CEX minimization with multiple POs runs into an assertion. This makes it produce an error message instead.
