Can you walk through the process for the proposed example?

The problem in most suites is checking if a specific act in real life meets some definition of a crime and not figuring out the wording of the law, right?

You kill someone without a reasonable excuse -> You get punished x years for murder

wouldn't really make murder trials easier because you would still have to formalize what you put into the proof.