This is why I firmly believe that ALL law - every single piece of it should be written as a formal model with code so that assertions can be tested to see if something is illegal or not.
For example, many crimes require a specific kind of intent. I don't know at this point how a piece of code can determine an intent.
1* Burglary is an act of breaking and entering of the dwelling place of another with the intent to commit a felony therein