10. The computer-implemented method of claim 9 , wherein the node type predicate is satisfied if the given node represents a for loop.
9. The computer-implemented method of claim 1 , wherein the plurality of predicates includes a node type predicate that determines, for a given node of the input AST, whether the node has a type corresponding to the node type predicate.