Empty ``++case++`` clauses that fall through to the default are useless. Whether or not such a ``++case++`` is present, the ``++default++`` clause will be invoked. Such ``++case++``s simply clutter the code, and should be removed.
