sig
  type mode_tree
  val mode_paths_to_tree :
    LustreContract.mode list -> LustreContract.ModeTrace.mode_tree
  val mode_trace_to_tree :
    LustreContract.mode list list -> LustreContract.ModeTrace.mode_tree list
  val fmt_as_cex_step_xml :
    Format.formatter -> LustreContract.ModeTrace.mode_tree -> unit
  val fmt_as_cex_step_json :
    Format.formatter -> LustreContract.ModeTrace.mode_tree -> unit
end