I&#x27;ve no idea about the specifics either, but I&#x27;ve done a little bit of compiler optimization in the JIT setting. What you say sounds right, and I&#x27;m filing it in the same mental bin as &quot;when you&#x27;re looking at which parts of the state + variables depend on others, you&#x27;re most of the time better off reasoning from the initial state and input variables, instead of trying to do clever tricks of also reasoning backward from the output variables and combining them, resulting in worse approximations&quot;<p>Or maybe it&#x27;s something else that has to do with loops the way they are written.