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")
  ]