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