fixed ConstrainedTerm#variableSet