avoid creation of Z3 objects when constraint is a substitution (which is trivially satisfiable)