appappconstxyxappappappsubstfgxappappfxappgxappappfixfxappappfappfixfxapp2const0subst0fix0FULL./TRS/higher-order/Bird/Ex2_8_1ConstSubstFix.trs