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