Fix: no-fallthrough incorrectly flagged falls through annotations