let arg_spec () = [
    (arg_spec_of_symbols
       "-direction"
       forward_backward_names
       direction_opt
       "forward or backward analysis")
  ]