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