let
find_mem env label =
try
Some
(
Lmap
.find label env.frame.states)
with
Not_found
->
None