let mem_at_env env = M.mem_at env.frame env.label