I don't know. This starts to get beyond my technical ability. There's a fork of miniscript that provably won't create OP_IFs in taproot. Nunchuk's main issue was a template for the "custom" option which crudely dumped an old P2SH script into Taproot. It was demonstrated to be a really bad idea as it was just a more expensive way of doing it without any of the benefits of taproot.
The solution is for wallet devs to make sure they don't generate addresses that will result in UTXOs that people can't spend. The work has been done, and the fork looks fairly likely to be successful at this point so there isn't really time to waste.