These types of "novel" solutions come up even with much simpler systems, though usually not with that kind of (fortunately only simulated) fire power attached.

These types of "novel" solutions come up even with much simpler systems, though usually not with that kind of (fortunately only simulated) fire power attached. For example, the Babelsberg object-constraint language had to have additional mechanisms added to specifically to keep the solver from being overly creative. Lots of nuggets in there, such as achieving a constraint on the total balance of an account by simply re-pointing the account variable to some account that had that exact balance. There, nailed it! https://dl.acm.org/doi/10.1145/2814270.2814311 https://dl.acm.org/doi/10.1145/2814270.2814311 https://web.cs.ucla.edu/~todd/research/oopsla15.pdf https://web.cs.ucla.edu/~todd/research/oopsla15.pdf