That's a cool case study! It hits right at the core of the appeal (these kind of solvers need to be designed, if you grow them organically you get the if state

That's a cool case study! It hits right at the core of the appeal (these kind of solvers need to be designed, if you grow them organically you get the if statement from hell) and also the challenges (not many managers would run with the idea of "the users will be doing something that looks a lot like writing code").