made SymbolicConstraint#Equality immutable