CoreSpecimen - Renamed ASSERT to CHECK