let control_arg_spec () = [
(arg_spec_of_integer
"-k"
0
k_opt
"Value of extrapolation parameter")
;
(arg_spec_of_integer
"-limit"
0
limit_opt
"Number of simulation steps (automatic mode only)")
;
("-no-scm-consistency-check",
Arg.Clear scm_consistency_check_opt,
" Disable consistency check of input SCM description")
;
("-statistics",
Arg.Set show_statistics_opt,
" Show performance statistics")
]