Ginger Myles (mylesg@cs.arizona.edu)
This obfuscation inserts an opaque predicate into every boolean expression. The boolean expressions are all relational operators that compare integers, so the opaque predicates will simply add an opaquely false value (i.e. value==0) to one of the integer operands. This does not change the value of the boolean expression, but it does make it difficult to determine statically.
There are no extra configuration parameters necessary to run this obfuscator.