Added EquivalenceChecker, not yet complete
Added wasAssociatedWith test