sig   type slevel = Global of int | PerStmt of (Cil_types.stmt -> int)   val local : Cil_types.kernel_function -> Per_stmt_slevel.slevel   type merge = NoMerge | Merge of (Cil_types.stmt -> bool)   val merge : Cil_types.kernel_function -> Per_stmt_slevel.merge end