Enum LtlTranslationRepository.LtlToDpaTranslation