12. The method of claim 11 , further comprising: determining that K=1; designating the OP node as a unary OP node; and determining whether the candidate match of a single child of the unary OP node is valid for the OP node.
11. The method of claim 10 , further comprising: selecting a combination of input candidate matches; using the derived candidate matches to extend partial matches with respect to the OP node; and adding the extended partial matches to the candidate match results.