Make getPredecessorWithUniqueSuccessorForBB return the unique successor