Conditionals:
mechanism
1. Split the data
into parts
2. Compute
invariants over
each subset of
data
3. Compare results,
produce
implications
if even(x)then
y = 0
else
y = 2x
In the typical case, there will be no significant differences between the invariants detected in the two parts of the data.
