As a programming analogy, you could theoretically: 'refactor' contracts (simplify them) but it would create numerous 'bugs' (loopholes). To fix that you have to

As a programming analogy, you could theoretically: 'refactor' contracts (simplify them) but it would create numerous 'bugs' (loopholes). To fix that you have to apply hard-coded bugfixes because the 'modules/classes' (laws) you are 'importing' (citing) are not open-source (so you can't fix them yourself) and you cannot create more to supplement exising ones in an elegant way. And that's how we get convoluted contracts.