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 whi...