let mem_at env l =
    try find_mem_at env l
    with Not_found ->
      let m = new_mem () in
      let params = 
        if l = Clabels.Pre then Some (Varinfo.Hashtbl.create 10) else None 
      in
      let m = (m, params) in
        env.memories <- (l,m) :: env.memories;
        m