graph.isPredecessor(elementA, elementB)
Return true if elementB is a predecessor of elementA.
true
elementB
elementA