let unspecify_escaping_locals is_local t =
let flags = get_flags t in
let flags = flags land mask_init
(* clear noesc flag *)
in
let locals, v =
V.remove_escaping_locals is_local (get_v t)
in
locals, create flags v