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