By changing the variable names we clarify that those are rules
that can match.

Furthermore, we also change all occurrences of the very awkward
"as long as possible" to "until a fixed point is reached".