After implementing a behaviour tree library and realising the power of select & sequence I found myself wondering why they aren’t used more widely. I’ve never

After implementing a behaviour tree library and realising the power of select & sequence I found myself wondering why they aren’t used more widely. I’ve never done anything in crypto but watched in horror as people created immutable contracts with essentially Javascript programs. Surely it would be much easier to reason about/verify scripts written as a behaviour tree with a library of queries and actions. Even being able to limit the scope of modifications would be a win.