sig
  type reset_memo = unit -> unit
  val make_tau : Ast.transition_info -> Ast.transition_func * Pre.reset_memo
  val pre_image : Ast.transition list -> Node.t -> Node.t list * Node.t list
end