9. The method of claim 2 , further comprising: inputting an OP node of arity K; inputting sets of matches for each child of the OP node; selecting a match from a match set; and testing the selected match set to determine whether the selected match is a full-candidate match.
9. The method of claim 2 , further comprising: inputting an OP node of arity K; inputting sets of matches for each child of the OP node; selecting a match from a match set; and testing the selected match set to determine whether the selected match is a full-candidate match. 10. The method of claim 9 , further comprising: if the selected match is a full-candidate match, then adding the full-candidate match to candidate match results; and testing each match set in the sets of matches to determine whether each match set match is a full-candidate match.