let is_included_actual_generic b1 b2 instanciation t1 t2 =
let flags1 = get_flags t1 in
let flags2 = get_flags t2 in
if (lnot flags2) lor flags1 = -1
(* (t2.initialized ==> t1.initialized)
&& (t2.no_escaping_adr ==> t1.no_escaping_adr) *)
then
V.is_included_actual_generic b1 b2 instanciation (get_v t1) (get_v t2)
else raise Abstract_interp.Is_not_included