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