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