fix #835 disjoint case analysis in switch on alias