This test checks for control reaching the end of the function without invoking [super dealloc] in all paths.