Functor Region_analysis_stmt.MakeNode

module MakeNode: 
functor (M : M-> Node with type abstract_value = M.abstract_value and type node = stmt
Parameters:
M : M