Improve 'in current fn' check for Next impl
Add comments for PC reset code
Add reminder for "Next" optimization