Add warnings for the case of unknown values in case-patterns