Improve 'in current fn' check for Next impl
Add comments for PC reset code
wip