Yeah, it feels like there should be some patterns that you could reasonably convincingly argue don't have any additional DoS risk when used in P2SH.

For instance, if you're doing these branching transactions, like:


...you're doing a single true/false test then immediately throwing away everything except the content of one or other branch, leaving something you can already do as standard.