EQUATIONS: 
c_Message_Oparts(c_union(vg,vh,tc_Message_Omsg())) =
  c_union(c_Message_Oparts(vg),c_Message_Oparts(vh),tc_Message_Omsg())
c_union(c_emptyset(),vy,ta) = vy
c_union(c_insert(va,vb,ta),vc,ta) = c_insert(va,c_union(vb,vc,ta),ta)

COMPLETE TRS:
RULES:
c_union(c_emptyset(),vy,ta) -> vy
c_union(c_insert(va,vb,ta),vc,ta) -> c_insert(va,c_union(vb,vc,ta),ta)
c_union(c_Message_Oparts(vg),c_Message_Oparts(vh),tc_Message_Omsg()) ->
  c_Message_Oparts(c_union(vg,vh,tc_Message_Omsg()))

SUCCESS
MaxTRS: 3 
Search time: 0.05 seconds