Rules can be rewritten in a cohesive way or rules can be written as just an endless series of if statements which may contradict with other if statements.
It would be useful for laws to have an automated test suite so that known good uses cases wouldn't be broken down the road.