add test case for noreturn handling in if-else