let arg_spec () = [
    (arg_spec_of_symbols
       "-safe-approximation"
       safe_approximation_names
       safe_approximation_opt
       "Safe over-approximation algorithm")
  ]