Region_analysis.Make
module N : Node
val after : N.abstract_value -> N.abstract_value list N.Edge_Dict.t