let safe_approximation_opt = ref Split