saved unification failing equality in SymbolicConstraint for debugging