Code-First für Entity Framework: Die Migration schlägt mit der Update-Datenbank fehl und erzwingt eine unnötige (?) Add-Migration

Ich habe einen lustigen Effekt mit Migration (EF 5.0) und Code-First: Ich habe einige Modelle mit GUID-Primärschlüsseln erstellt. (Übrigens: Es ist wichtig für mich, dass SQL Server verwendet NEWSEQUENTIALID(), was in der aktuellen Version der Standardwert zu sein scheint.) Irgendwann habe ich...