---- CR(R)
---- [van Oostrom, RTA 2008].
R:
f(x) -> x
f(x) -> f(f(x))

Label:
[f(x) -> x] = 0
[f(x) -> f(f(x))] = 1