suc 1 .0 1 suc .0 x .1 x suc .1 x .0 suc x add x 1 suc x add 1 y suc y add .0 x .0 y .0 add x y add .1 x .0 y .1 add x y add .0 x .1 y .1 add x y add .1 x .1 y .0 suc add x y C .0 x C x C .1 x C add .1 x .1 .1 x suc 1 1 0 .0 1 .1 1 add 2 C 1 FULL samples/collatz.trs