1. Starting from a declarative language (think XML), you might not be as expressive, but you would still have a lot of value and mitigate a lot of the potential problems.
2. Safety properties that fall back on current law could be added in case of dispute.
This scenario would still have great value as a smart contract.