assert migration order