Interface AutomatedReasoningCheckTranslationOption.Builder