Idee voor een praktische oefening: gelijkheid van expressies

[rix0rrr]

Misschien het refactoren van een complexe expressie.

pred expr1 { }
pred expr2 { }

check {
   expr1 iff expr2
}