Don't assign NoReturn to variable in codegen
Added a transformation pass after the type inference that fixes some things before the codegen phase