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 X if false X Y Y diff X Y if leq X Y 0 s diff p X Y p 1 1 0 0 s 1 1 leq 2 1 2 true 0 false 0 if 3 1 diff 2 1 2 FULL ./TRS/CSR/Ex1_GM03.trs