Bug: Endless loop in SharedIf Context

[0xThemis]

If we are in shared if context (execution of all branches when condition is shared), we run into a problem regarding loops.

The VM will not update the induction variable, as StoreVars will only store the new value if the condition is of this brunch is true. Therefore, we are in an endless loop.
Possible solution:
unroll loops with constant round trips