-Refactored
-Fixed bug when checking relation equivalencies