functor (N : Region_analysis_sig.Node) -> sig val after : N.abstract_value -> N.abstract_value N.Edge_Dict.t end