Fix terminator insertion terminator list.
Rewrite grammar to make return/throw statements.
Fix grammar rule.
Add note for grammar.
Move finally fatal message into codegen.