Sometimes not being able to add cycles is a design goal. For example if you're exposing a user-facing DSL and it's in the shared interest of the users and the b

Sometimes not being able to add cycles is a design goal. For example if you're exposing a user-facing DSL and it's in the shared interest of the users and the backend that their scripts always terminate, perhaps even in a bounded amount of time/cycle. Just because a tool can't solve all problems in their generality doesn't make it automatically worthless, there are situations where less is truly more.