ge
x
0
true
ge
0
s
x
false
ge
s
x
s
y
ge
x
y
minus
x
0
x
minus
s
x
s
y
minus
x
y
div
x
y
ify
ge
y
s
0
x
y
ify
false
x
y
divByZeroError
ify
true
x
y
if
ge
x
y
x
y
if
false
x
y
0
if
true
x
y
s
div
minus
x
y
y
ge
2
0
0
true
0
s
1
false
0
minus
2
div
2
ify
3
divByZeroError
0
if
3
INNERMOST
./TRS/secret05/aprove2.trs