CORE_identifier: Fix the checking of label validity.