Interface AutomatedReasoningCheckInvalidFinding.Builder