Class CaseSpecification.Simple