I believe
@nunchuk_io said their wallet uses scripts as produced by the miniscript compiler.
Might be that compilers could rationalize (or give choice over using tap leafs vs OP_IF) in their output so that wallets may control it.
Would love to learn more