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".