apapgxyyapfxapfappgxap2g0f0app2OUTERMOST./TRS/outermost/higher-order/AProVE_HO/TypeEx5.trs