My approach in unifying traversals was to add a different predicate for dependency traversal that has the current target and the dependency as its parameters