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