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