let varmem_at env l =
try (List.assoc l env.states)
with Not_found ->
let x = D.fresh "m" (Mdata.Vmodel t_memory) in
let ta = D.fresh "ta" (Mdata.Vmodel t_alloc) in
env.states <- (l,(x,ta)) :: env.states ;
(x,ta)