fixed a bug where no_return hit some false positives.