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