25. The computer system of claim 21 , wherein the plurality of predicates includes a derivation predicate that analyzes inheritance relationships between classes.
26. The computer system of claim 25 , 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.