val get_active : unit -> (module VerifierType.S)
val options : unit -> Options_management.options_spec