MakeNode.M
val compile_node :
Frama_c_kernel.Cil_types.stmt ->
abstract_value ->
(Frama_c_kernel.Cil_types.stmt Codex.Fixpoint.Region_analysis.edge
* abstract_value)
list
val mu : (abstract_value -> abstract_value) -> abstract_value -> abstract_value
val join : abstract_value list -> abstract_value