cond1
s
x
y
cond2
gr
s
x
y
s
x
y
cond2
true
x
y
cond1
y
y
cond2
false
x
y
cond1
p
x
y
gr
0
x
false
gr
s
x
0
true
gr
s
x
s
y
gr
x
y
neq
0
0
false
neq
0
s
x
true
neq
s
x
0
true
neq
s
x
s
y
neq
x
y
p
0
0
p
s
x
x
cond1
2
s
1
cond2
3
gr
2
true
0
false
0
p
1
0
0
neq
2
FULL
./TRS/Beerendonk/14.trs