division x y div x y 0 div x y z if lt x y x y inc z if true x y z z if false x s y z div minus x s y s y z minus x 0 x minus s x s y minus x y lt x 0 false lt 0 s y true lt s x s y lt x y inc 0 s 0 inc s x s inc x division 2 div 3 0 0 if 4 lt 2 inc 1 true 0 false 0 s 1 minus 2 FULL ./TRS/secret06/aprove/division.trs