Interface AutomatedReasoningCheckLogicWarning.Builder