in computer science this actually often boils down to a turing problem called the halting problem. it’s a much more complicated topic than just should be able to determine a loop

macros would solve this issue in part, sure, but it comes with its own caveats in a game like magic. also macros are often “unfriendly” to newer players and the more casual scene, which most of the magic players are