18. The system of claim 17 wherein comparing the testable code sequence further comprises executing a set-bound instruction.
18. The system of claim 17 wherein comparing the testable code sequence further comprises executing a set-bound instruction. 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.