f true x y f and gt x y gt y s s 0 plus s 0 x double y gt 0 v false gt s u 0 true gt s u s v gt u v and x true x and x false false plus n 0 n plus n s m s plus n m plus plus n m u plus n plus m u double 0 0 double s x s s double x f 3 true 0 and 2 gt 2 s 1 0 0 plus 2 double 1 false 0 INNERMOST ./TRS/SchneiderKamp/inn/cade12.trs