Първият синтаксис е излишен - WITH CHECK
е по подразбиране за нови ограничения и ограничението също е включено по подразбиране.
Този синтаксис се генерира от студиото за управление на SQL при генериране на sql скриптове - предполагам, че това е някакъв вид допълнителна излишък, вероятно за да се гарантира, че ограничението е активирано, дори ако поведението на ограничението по подразбиране за таблица е променено.