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