DirectedTopology.
has_successor
Return True if node u has successor v.
This is true if graph has the edge u->v.