fxyzgxyzg01xfxxxabacf3g30010a0b0c0FULL./TRS/AProVE/forward_instantiation2.trs