20. The system of claim 19 wherein comparing the testable code sequence further comprises executing instructions for associative matching.
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.