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