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