minus x 0 x minus s x s y minus x y le 0 y true le s x 0 false le s x s y le x y quot x s y if_quot le s y x x s y if_quot true x y s quot minus x y y if_quot false x y 0 minus 2 0 0 s 1 le 2 true 0 false 0 quot 2 if_quot 3 INNERMOST ./TRS/AG01/#4.30.trs