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