apapgxyyapfxapfappgxap2g0f0app2FULL./TRS/higher-order/AProVE_HO/TypeEx5.trs