let verify_arg_spec () =
    (("\nMain Options:"Arg.Unit (fun () -> ()), "") :: (Main.verify_arg_spec ()))
  @ (("\nSCM Wrapper Options:"Arg.Unit (fun () -> ()), "") :: (ScmWrapper.arg_spec ()))
  @ (("\nCegar Options:"Arg.Unit (fun () -> ()), "") :: (Cegar.arg_spec ()))
  @ (("\nLazy Abstraction Options:"Arg.Unit (fun () -> ()), "") :: (LazyAbstraction.arg_spec ()))
  @ (("\nAPInv Options:"Arg.Unit (fun () -> ()), "") :: (APInv.arg_spec ()))
  @ (("\nStatic Analyzer Options:"Arg.Unit (fun () -> ()), "") :: (StaticAnalyzer.arg_spec ()))
  @ (("\nLogging Options:"Arg.Unit (fun () -> ()), "") :: (Logging.arg_spec ()))
  @ (("\nMiscellaneous Options:"Arg.Unit (fun () -> ()), "") :: (Miscellaneous.arg_spec ()))