Tags: opaque predicates,predicates
A predicate is an expression that evaluates to either
This transformation extends the predicates in your code with opaque predicates
making them harder to understand.
The following example is a while statement with a simple predicate:
After extending the predicate
i < 10 the resulting predicate becomes harder
to understand. The following example is a possible output: