Started on more tests: AbstractPropertyDrivenTranslatorTest