SUCCESS 0.03 (total time) COMPLETED TRS c_union(c_insert(x, y, x4), z, x4) -> c_insert(x, c_union(y, z, x4), x4) c_union(c_emptyset, x, y) -> x c_union(c_Message_Oparts(x), c_Message_Oparts(y), tc_Message_Omsg) -> c_Message_Oparts(c_union(x, y, tc_Message_Omsg))