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