PlanarEmbedding.has_predecessor()
Returns True if node u has predecessor v.
This is true if graph has the edge u<-v.