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