Add a few missing checks for ConditionForSat for UnsatEnsures and UnsatAxiom termination types.
Add a few missing checks for ConditionForSat for UnsatEnsures and
UnsatAxiom termination types.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix