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