app app rec h app g 0 g app app rec h app g app s x app app h x app app rec h app g x app 2 rec 0 0 0 s 0 FULL ./TRS/higher-order/Lifantsev/Ex2PrimRec.trs