Reset MathSAT5 when checking non-propositional assumptions
Check return value of msat_reset_env