8. The method of claim 7 , wherein the first sequence of two or more boolean statements is selected randomly from the library.
7. The method of claim 1 , wherein identifying the first sequence of two or more boolean statements includes selecting the first sequence of two or more boolean statements from a library of semantically equivalent sequences of boolean statements.