let rec is_incl_comp c1 c2 =
  match object_of c2 with
    | C_comp c -> Cil_datatype.Compinfo.equal c1 c ||
        List.exists (fun t -> is_incl_comp c1 t.ftype) c.cfields
    | C_array arr -> is_incl_comp c1 arr.arr_element
    | _ -> false