In the real world, contract law is written to not just take contracts at face value, but to also let judges take external factors into account. This includes customs, the parties intentions, whether they are acting in good faith, etc.

This is precisely because it was deemed impractical to write contracts that could be 'computationally' interpreted line by line. Seems like the etherium is slowly rediscovering this fact the hard way.