[X]

f(a) -> f(c(a)).
f(c(X)) -> X.
f(c(a)) -> f(d(b)).
f(a) -> f(d(a)).
f(d(X)) -> X.
f(c(b)) -> f(d(a)).
e(g(X)) -> e(X).
 
