sig
  val generate : Kernel_function.t -> Model.t -> unit
  val missing_guards : Kernel_function.t -> Model.t -> bool
end