Fixed bug with NoReturn inside an if condition where a variable was declared