SUCCESS
0.01 (total time)

COMPLETED TRS
w(a(c(x))) -> a(c(x))
a(b(x)) -> w(a(x))