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