5. The computer-implemented method of claim 1 , wherein the plurality of predicates includes a derivation predicate that analyzes inheritance relationships between classes.
6. The computer-implemented method of claim 5 , wherein the derivation predicate determines whether given nodes of the input AST correspond to a first class that inherits from a second class supplied as an argument to the derivation predicate.