union empty X X max singl x x max union singl x singl 0 x max union singl s x singl s y s max union singl x singl y max union singl x union Y Z max union singl x singl max union Y Z union 2 AC empty 0 max 1 singl 1 0 0 s 1 FULL ./TRS/AProVE_AC/AC28.trs