graph.isPredecessor(elementA, elementB)

Return true if elementB is a predecessor of elementA.