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