migrates an occasional assert to require