I believe @c301f133…41c95b2a 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