p
0
0
p
s
`X`
`X`
leq
0
`Y`
true
leq
s
`X`
0
false
leq
s
`X`
s
`Y`
leq
`X`
`Y`
if
true
`X`
`Y`
activate
`X`
if
false
`X`
`Y`
activate
`Y`
diff
`X`
`Y`
if
leq
`X`
`Y`
n__0
n__s
diff
p
`X`
`Y`
0
n__0
s
`X`
n__s
`X`
activate
n__0
0
activate
n__s
`X`
s
`X`
activate
`X`
`X`
p
1
0
0
s
1
leq
2
true
0
false
0
if
3
activate
1
diff
2
n__0
0
n__s
1
FULL
./TRS/TRCSR/Ex1_GM03_Z.trs