Uh...clue check...programmers have to write everything in crystal clear unambiguous form.

So we might need to legislate in code and write a law compiler, but that can be rendered to english pretty easily through a "lawyer-verified" open source transformation. Hell, you could even render a flowchart.