Lately, some Bitcoin users have been pushing to forbid OP_IF in P2TR leaf scripts to prevent use of the inscription envelope. More recently, I have seen a new claim to support that endeavor: Tapscript including the OP_IF being a bug in itself. The argument goes that it would always be more blockspace-efficient to use P2WSH and it would be more private to split a leaf script with a boolean expression into multiple leaf scripts. It follows that Miniscript producing leaf scripts with OP_IF would also be a bug, and wallets recommending leaf scripts with OP_IF would be wrong to do so.Is this line of reasoning resilient? Answers should please touch on:Was the inclusion of OP_IF in the Tapscript opcodes a mistake?Should users always prefer P2WSH over P2TR with a complex script that contains a boolean expression?Should users always prefer to split a leaf script with a split control into multiple leaf scripts?