sig
  val kf : Kernel_function.t
  type abstract_value = path_bound * Cil_types.stmt
  val compile_node :
    Cil_types.stmt ->
    abstract_value ->
    (Cil_types.stmt Region_analysis.edge * abstract_value) list
  val mu :
    (abstract_value -> abstract_value) -> abstract_value -> abstract_value
  val join : abstract_value list -> abstract_value
end