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