Interface AutomatedReasoningCheckFinding.Builder