checks for irreflexive mapping in main tester