le
s
x
0
false
le
0
y
true
le
s
x
s
y
le
x
y
plus
0
y
y
plus
s
x
y
s
plus
x
y
times
0
y
0
times
s
x
y
plus
y
times
x
y
log
x
0
baseError
log
x
s
0
baseError
log
0
s
s
b
logZeroError
log
s
x
s
s
b
loop
s
x
s
s
b
s
0
0
loop
x
s
s
b
s
y
z
if
le
x
s
y
x
s
s
b
s
y
z
if
true
x
b
y
z
z
if
false
x
b
y
z
loop
x
b
times
b
y
s
z
le
2
s
1
0
0
false
0
true
0
plus
2
times
2
log
2
baseError
0
logZeroError
0
loop
4
if
5
INNERMOST
./TRS/SchneiderKamp/trs/thiemann29.trs