minor cleanup
fixed SymbolicConstraint#variableSet because it's still immutable