reinsert Program._need_update sets