fixed reachability test for 'transitiveReduction'