check that the accumulated constraints are satisfiable before making a substitution.