let arg_spec () = [
    (arg_spec_of_symbols
       "-tree-exploration"
       tree_exploration_names
       tree_exploration_opt
       "Abstract tree exploration strategy")
    ;
    ("-no-tree-pruning",
     Arg.Clear tree_pruning_opt,
     " Do not prune the sub-tree of empty vertices")
  ]