if
true
X
if
false
Y
p
0
0
p
s
X
X
leq
0
Y
true
leq
s
X
0
false
leq
s
X
s
Y
leq
X
Y
diff
X
Y
if
leq
X
Y
if
1
true
0
false
0
p
1
0
0
s
1
leq
2
diff
2
FULL
./TRS/TRCSR/Ex1_GM03_L.trs