Interface AutomatedReasoningCheckTranslation.Builder