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