La primera sintaxis es redundante - el WITH CHECK
es el predeterminado para las nuevas restricciones, y la restricción también está activada de forma predeterminada.
Esta sintaxis la genera el estudio de administración de SQL al generar secuencias de comandos sql; supongo que se trata de algún tipo de redundancia adicional, posiblemente para garantizar que la restricción esté habilitada incluso si se cambia el comportamiento predeterminado de la restricción para una tabla.