f
true
x
y
f
gt
x
y
double
x
s
y
gt
s
x
0
true
gt
0
y
false
gt
s
x
s
y
gt
x
y
double
x
times
x
s
s
0
times
0
y
0
times
s
x
y
plus
y
times
x
y
plus
0
y
y
plus
s
x
y
plus
x
s
y
f
3
true
0
gt
2
double
1
s
1
0
0
false
0
times
2
plus
2
FULL
emmes-nonloop-ex2_4.trs