sig
  val varinfo : Visitor_behavior.t -> unit
  val compinfo : Visitor_behavior.t -> unit
  val enuminfo : Visitor_behavior.t -> unit
  val enumitem : Visitor_behavior.t -> unit
  val typeinfo : Visitor_behavior.t -> unit
  val stmt : Visitor_behavior.t -> unit
  val logic_info : Visitor_behavior.t -> unit
  val logic_type_info : Visitor_behavior.t -> unit
  val fieldinfo : Visitor_behavior.t -> unit
  val model_info : Visitor_behavior.t -> unit
  val logic_var : Visitor_behavior.t -> unit
  val kernel_function : Visitor_behavior.t -> unit
  val fundec : Visitor_behavior.t -> unit
end