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