Right, don't traders have everything necessary to run the smartcontract locally (i.e. via Ethereum's virtual machine), with the input they expect it to have at the time of execution? That doesn't require decompiling, any more than I have to decompile a calculator app to verify that it gets the right answer for 2+4.
If so, then yeah, sometimes judges do throw out deceptive contracts based on "gotcha" clauses with non-obvious implications the counterparty couldn't have reasonably expected. But here, it would be like if the signer had continuous access to a resource that would instantly answer any implication about any scenario they had in mind, and the signer refused to test it for even one scenario they were planning to use the contract for. I image judges being a lot less sympathetic to that kind of mistake.