0 QTRS
↳1 DirectTerminationProof (⇔)
↳2 TRUE
f(f(X)) → c c → d h(X) → c
h1 > f1 > c > d
c=3 d=3 f_1=1 h_1=2