fixed prunedSuccessor