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