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