SUCCESS
0.05 (total time)

COMPLETED TRS
b -> c
f(c, x) -> c
f(x, c) -> x
g(x) -> x
a -> c