fixed bug introduced in previous commit by caching the hash code for SymbolicConstraint and SymbolicConstraint.Equality