if true X if false Y minus 0 minus minus geq true geq false geq geq div 0 0 div s X if geq if 1 true 0 false 0 minus 0 0 0 geq 0 div 1 s 1 FULL ./TRS/TRCSR/Ex49_GM04_L.trs