Enhance HYSolver::Assume