The main issue with law is that it is written in an ambiguous language.

Theoretically you could write more precise laws with code.

Maybe they should have let a group of contract lawyers proofread what the code does. Lawyers look for bugs, inconsistencies, errors, loopholes all the time.