С высадкой Эйегона, дорнийцы короновать девочку точно не будут.
Так что - таки да, Томмен должен умереть либо отречься, чтобы Мирцеллу провозгласили королевой.
Вопрос только: КТО ее провозгласит? Киван мертв, у Ланселя крыша поехала, Серсея под следствием. Все! У Ланнов не осталось ярких лидеров (Серсея мозгами особо не блистала, но ее положение, красота и статус дочери Тайвина давали ей серьезную заявку на лидерство).
Тиреллы? А нафига им? Разве что Уиллас на Мирцелле был бы женат...
А остальным девочка и вовсе не нужна.
Так что, ИМХО, попытка Мартина привязать судьбу Мирцеллы к буквальному толкованию пророчества, будет слишком сильной натяжкой против здравого смысла.