Formal scrutinees are now skipped by case-enumeration.