Semantic checks for CaseOf, Chunk, GetCaseFrom, Lu.