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)