Catala is not meant to formalize a law which obviously was not written to "compute" something. It is meant as a tool to improve the fair and just enforcement of pieces of law that effectively define an algorithm that can be enforced by a computerized system.

The process of developing the formalism would actually surface a lot of those issues. The distinction between "pistols" and "rifles", for example, raises many practical questions...