a__p
0
0
a__p
s
X
mark
X
a__leq
0
Y
true
a__leq
s
X
0
false
a__leq
s
X
s
Y
a__leq
mark
X
mark
Y
a__if
true
X
Y
mark
X
a__if
false
X
Y
mark
Y
a__diff
X
Y
a__if
a__leq
mark
X
mark
Y
0
s
diff
p
X
Y
mark
p
X
a__p
mark
X
mark
leq
X1
X2
a__leq
mark
X1
mark
X2
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
diff
X1
X2
a__diff
mark
X1
mark
X2
mark
0
0
mark
s
X
s
mark
X
mark
true
true
mark
false
false
a__p
X
p
X
a__leq
X1
X2
leq
X1
X2
a__if
X1
X2
X3
if
X1
X2
X3
a__diff
X1
X2
diff
X1
X2
a__p
1
0
0
s
1
mark
1
a__leq
2
true
0
false
0
a__if
3
a__diff
2
diff
2
p
1
leq
2
if
3
INNERMOST
./TRS/TRCSR/Ex1_GM03_GM.trs