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