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

Label:
[f(a(),x) -> f(a(),g(x))] = 1
[a() -> b()] = 0
[g(x) -> x] = 0