sig
  val log_prefix : string
  val main :
    Analysis.param -> 'InputSystem.t -> TransSys.t -> string -> string list
  val log_test_glue_file :
    string ->
    string ->
    string * (Lib.position * int) list * (string * Lib.position * int) list ->
    string -> string list -> unit
  val on_exit : '-> unit
end