PlanarEmbedding.has_successor()
Returns True if node u has successor v.
This is true if graph has the edge u->v.