Fix: Nested occurrences of no-else-return now show multiple reports (fixes #1369)