But legal code(law) should be written as strictly as computer code, so that we can detect errors(contradictions, circular logic, etc) automatically, as well as

But legal code(law) should be written as strictly as computer code, so that we can detect errors(contradictions, circular logic, etc) automatically, as well as refactor millions of lines of regulations into more concise, spirit of the law, declarations.