TranslationSupplierSpec(verbs: AssertionVerbFactory, testeeFactory: () -> TranslationSupplier, describePrefix: String = "[Atrium] ")