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
FULL
./TRS/secret05/aprove3.trs