nonZero
0
false
nonZero
s
x
true
p
0
0
p
s
x
x
id_inc
x
x
id_inc
x
s
x
random
x
rand
x
0
rand
x
y
if
nonZero
x
x
y
if
false
x
y
y
if
true
x
y
rand
p
x
id_inc
y
nonZero
1
0
0
false
0
s
1
true
0
p
1
id_inc
1
random
1
rand
2
if
3
INNERMOST
./TRS/SchneiderKamp/trs/thiemann40.trs