Add check for unreachable code
add block id comments
Link to exit block on return