This is generally solved by unrolling the program into a single loop. Essentially having a function state(N) => state(N+1), shouldContinue. This exposes the nu

This is generally solved by unrolling the program into a single loop. Essentially having a function state(N) => state(N+1), shouldContinue. This exposes the number of iterations needed to finish the computation. That could further be limited by underlying code rounding the iterations to mask the real count. TLDR: either the run time is fixed or you leak some info via the run time.