0 QTRS
↳1 DirectTerminationProof (⇔)
↳2 TRUE
f(f(a)) → c(n__f(g(f(a)))) f(X) → n__f(X) activate(n__f(X)) → f(X) activate(X) → X
activate1 > f1 > c1 > g1 > nf1 > a
a=1 f_1=3 c_1=1 n__f_1=1 g_1=1 activate_1=3