Change line numbers to match the expression
Refactor expression line numbers
Rewrite no-implicit-return checks

Return must be explicit, except when the returned expression is a value.