Make handling of `AddModal` in `tac_specialize_frame` consistent with that in `tac_specialize_assert`.