sig
  val name : string
  val title : string
  val is_active : unit -> bool
  val run :
    'InputSystem.t ->
    Analysis.param ->
    (Lib.kind_module list ->
     'InputSystem.t -> Analysis.param -> TransSys.t -> unit) ->
    Analysis.results -> unit Res.res
end