This is exactly why some legal systems are intentionally not codified in language, i.e. the Qadi system. There are no laws, there are only mutually agreed upon judges who adjudicate between parties who bring a complaint. Every case is different and there are no set of rules that can cover every edge case. Programmers of all people should know this.