let safe_approximation () = !safe_approximation_opt