Interface AutomatedReasoningCheckValidFinding.Builder