Adding BasicEqualityRulesAssertion