the first node in the AST for which the predicate is true. Null if none are found.
the function that generates the nodes to operate on in the desired sequence.