f g X Y f X f g X Y f 2 g 1 FULL ./TRS/nontermin/CSR/Ex4_4_Luc96b.trs