NOT WORKING

Changed the name of ContextConsequence to BindingConsequence, and created a PredicateEqualityFunction