I've often been glad I'm not a lawyer. Could you imagine writing code (a contract) that you can't test before putting into production, and running it on a proce

I've often been glad I'm not a lawyer. Could you imagine writing code (a contract) that you can't test before putting into production, and running it on a processor (Judge) that would execute it inconsistently from every other processor?