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