app app const x y x app app app subst f g x app app f x app g x app app fix f x app app f app fix f x app 2 const 0 subst 0 fix 0 FULL ./TRS/higher-order/Bird/Ex2_8_1ConstSubstFix.trs