Fix bug in linting of shadowed case-alternative binders