Strangely enough, we've ignored that "find-and-replace across the body of law" in the past. Even the new gender laws ignore existing laws. I sometimes wish that we had written a compiler for law. And a statically typed language designed for compiling policy (think Rego + Rust). Politicians and Law makers would have to test their new proposals in code before wasting anyone else's time on it. Lawyers would have to learn the language and compiler tools as part of their study, but anyone in the country would have access to them so that they could run their own tests and even settle minor legal disputes without having to pay lawyers. New laws that cause compiler errors don't get through, unless you can first unblock them with a refactor (which must also compile without errors). I think it's obvious that an attempt to encode the current statue book would fail miserably. You might have to start off an extremely simplistic set of rules (kinda like RocoCop's prime directives or Moses' 10 commandments) because I think we can all generally agree that killing is wrong generally. Ok, add a law "thou shake not kill". Oh, but what if someone's trying to kill you or your child? "Killing is wrong unless X is true". At the very least it would be an interesting exercise.