function_options::do_not_evalf_params() now actually works