Our laws are not so rigorous a system that we need to be worried about how to handle determining whether or not a computer program halts for the purpose of enforcing a law against writing programs that don't halt. Enforcement frequently differs based on whether laws are even remembered, and the last time the US federal government attempted just to count the number of laws they failed and gave up. Remember, the incompleteness theorem says that a consistent system can't prove its own consistency. Amidst the mess and imprecision of any legal system there's no chance that consistency is preserved anyway.
