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