Add a test case for 'analyzer_noreturn' on category methods.