sig
  val on_exit : TransSys.t option -> unit
  val main : 'InputSystem.t -> Analysis.param -> TransSys.t -> unit
end