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