Interface AutomatedReasoningCheckTranslationAmbiguousFinding.Builder