Always raise Unsat in Satml.assume if the environment is already unsat

Always raise Unsat in Satml.assume if the environment is already unsat #3185