Increment r←⧺y

r is one more than y: r←y+1.