refactored the reachability method. Now it returns complete predicates instead of separate clauses