Rule: default-case (fixes #787)