Specialization with megamorphization

I forgot to call megamorphization before specialization...