Interface AutomatedReasoningCheckTooComplexFinding.Builder