Die erste Syntax ist redundant - der WITH CHECK
ist Standard für neue Beschränkungen, und die Beschränkung ist auch standardmäßig aktiviert.
Diese Syntax wird vom SQL Management Studio beim Generieren von SQL-Skripten generiert - ich nehme an, es handelt sich um eine Art zusätzliche Redundanz, möglicherweise um sicherzustellen, dass die Einschränkung aktiviert ist, selbst wenn das Standardverhalten für Einschränkungen für eine Tabelle geändert wird.