SUCCESS
0.02 (total time)

COMPLETED TRS
a(z, x) -> s(x)
a(s(x), z) -> a(x, s(z))
a(s(x), s(y)) -> a(x, a(s(x), y))