Migrate nullness annotations