19. The system of claim 18 wherein comparing the testable code sequence further comprises executing a first instruction that translates an occurrence of a pattern variable and a second instruction that checks that occurrences of a pattern variable match a term.
19. The system of claim 18 wherein comparing the testable code sequence further comprises executing a first instruction that translates an occurrence of a pattern variable and a second instruction that checks that occurrences of a pattern variable match a term. 20. The system of claim 19 wherein comparing the testable code sequence further comprises executing instructions for associative matching.