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