Computation now works with different iterations. There were multiple bugs.
Buf: execution doesn't terminate