Fixed stabilize, checkPredecessor