appapprechappg0gappapprechappgappsxappapphxappapprechappgxapp2rec000s0FULL./TRS/higher-order/Lifantsev/Ex2PrimRec.trs