Predicate signature GraphPathSearchSig::end

The end nodes of the search.

Ultimately, only paths from a start node to an end node will be found by this module.

The design of this predicate has a great effect in how well this performance pattern will ultimately perform.