apfxxapapapgxyapszapapapgxyapapxy0ap2f0g0s000OUTERMOST./TRS/outermost/higher-order/AProVE_HO/termMonTypes.trs