predicate dependency tool