saving state before changing equation pair to predicateapplication/equals
changed Equation Pair to PredicateApplication/Equals and added Currifier unit test