a a b b x b b b a a a x a c x c a x c b x b c x dup A' a b b x collapse A' a x A' a x collapse x y dup x collapse x y dup y a 1 b 1 c 1 dup 1 A' 1 collapse 2 FULL TRS//AProVE_10/Zantema06-03-modified.trs