bugfix: overlap checking for 'case'