Fix for 2006-06-27-DeadSwitchCase.ll