- Added a context sensitivity check (A -> B and B -> A should NOT return
violations)