let fquantify_at_label frame lab p =
    close_env (env_at frame lab) p