let comp_compare c1 c2 =
  if (List.exists (fun t -> is_incl_comp c1 t.ftype) c2.cfields) then  -1
  else
    if (List.exists (fun t -> is_incl_comp c2 t.ftype) c1.cfields) then 1
    else Cil_datatype.Compinfo.compare c1 c2