Interface AutomatedReasoningCheckNoTranslationsFinding.Builder