---- CR(R)
---- [van Oostrom, RTA 2008].
R:
a() -> b()
a() -> c()
a() -> e()
b() -> d()
c() -> a()
d() -> a()
d() -> e()
g(x) -> h(a())
h(x) -> e()
Label:
[a() -> b()] = 3
[a() -> c()] = 1
[a() -> e()] = 0
[b() -> d()] = 0
[c() -> a()] = 0
[d() -> a()] = 1
[d() -> e()] = 0
[g(x) -> h(a())] = 0
[h(x) -> e()] = 0