let mem_at env label = try Lmap.find label env.frame.states with Not_found -> let m = M.mem () in env.frame.states <- Lmap.add label m env.frame.states ; m