* Improve semchecking for duplicate cases in case statements * Revert to previous solution * Improve test