f 0 true f 1 false f s x f x if true x y x if false x y y g s x s y if f x s x s y g x c y g x g s c y y f 1 0 0 true 0 1 0 false 0 s 1 if 3 g 2 c 1 INNERMOST ./TRS/AG01/#4.34.trs