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