[math] fix bugs in cond and while_loop when variables are used in…
#117
| Job | Run time |
|---|---|
| 30m 2s | |
| 29m 25s | |
| 28m 46s | |
| 33m 13s | |
| 30m 27s | |
| 27m 38s | |
| 27m 31s | |
| 24m 40s | |
| 3h 51m 42s |