Solve TheoryOfEquality.