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