findPredecessors implemented, need to be deeply tested.