Base
val on_exit : TransSys.t option -> unit
Clean up before exit
val main : bool -> 'a InputSystem.t -> Analysis.param -> TransSys.t -> unit
Runs the base instance.