Checks if a path of execution flow is possible between the nodes from and to.
Checks if a path of execution flow is possible starting at the node from and fulfilling the requirement specified in predicate.