Simplify TestAssumptionsFailing by removing unnecessary checks
Simplify TestAssumptionsFailing by removing unnecessary checks

p.FailedAssumptions will fail one way or another if p.Solve does not return
Unsatisfiable. No need to check that.

wkschwartz/pigosat,wkschwartz/pigosat