sig
  val prepare : category
  val logic_normalizer : category
  val bound_variables : category
  val interval : category
  val mtracking : category
  val typing : category
  val labels : category
  val translation : category
end