div x s y d x s y 0 d x s y z cond ge x z x y z cond true x y z s d x s y plus s y z cond false x y z 0 ge u 0 true ge 0 s v false ge s u s v ge u v plus n 0 n plus n s m s plus n m plus plus n m u plus n plus m u div 2 s 1 d 3 0 0 cond 4 ge 2 true 0 plus 2 false 0 INNERMOST ./TRS/SchneiderKamp/inn/cade13.trs