function iszero 0 dummy dummy2 true function iszero s x dummy dummy2 false function p 0 dummy dummy2 0 function p s 0 dummy dummy2 0 function p s s x dummy dummy2 s function p s x x x function plus dummy x y function if function iszero x x x x y function if true x y y function if false x y function plus function third x y y function p x x y s y function third x y z z function 4 iszero 0 0 0 true 0 s 1 false 0 p 0 plus 0 if 0 third 0 INNERMOST ./TRS/secret05/aprove3.trs