plus x 0 x plus x s y s plus x y plus 2 AC 0 0 s 1 FULL ./TRS/AProVE_AC/AC01.trs