do not perform simplification when adding new equalities
changed SymbolicConstraint#equalities to be LinkedHashSet
attempt to fix infinite loop problem in SymbolicConstraint#simplify
temporarily removed unrelated tests