let get_label_mem env label =
    let lname = Macros.logic_label_name label in
      try Hashtbl.find env lname
      with Not_found -> let n = fresh_mem () in Hashtbl.add env lname n; n