MAYBE
MAYBE
TRS:
 {f(a(), b()) -> f(a(), c()),
  f(c(), d()) -> f(b(), d())}
 Fail