let arg_spec () = [
(arg_spec_of_symbols
"-graph-exploration"
graph_exploration_names
graph_exploration_opt
"Abstract graph exploration method")
;
(arg_spec_of_symbols
"-graph-refinement"
graph_refinement_names
graph_refinement_opt
"Abstract graph refinement method")
]