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