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

Label:
[f(a()) -> f(f(a()))] = 2
[a() -> b()] = 0
[f(x) -> f(b())] = 0