Fixed Predecessor pseudocode