MAYBE
MAYBE
TRS:
 {f(g(x)) -> f(a(g(g(f(x))), g(f(x))))}
 Fail