graph.isSuccessor(elementA, elementB)

Return true if elementB is a successor of elementA.