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