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