I'm not sure if this is the right direction, but it's certainly momentarily helpful. I think the right direction would be to enable the model itself do dynamic program analysis, deterministically and dynamically via runtime-inference.

btw. your comment is grayed out, not sure what it means. However, thanks for sharing, I'll look into it.