sig
  val main :
    bool ->
    (int * Lib.kind_module) list Pervasives.ref ->
    'InputSystem.t -> Analysis.param -> TransSys.t -> unit
  val on_exit : TransSys.t option -> unit
  val print_stats : TransSys.t option -> unit
end