[math] fix bugs in cond and while_loop when variables are used in…
#32
| Job | Run time |
|---|---|
| 2m 15s | |
| 2m 3s | |
| 2m 33s | |
| 59s | |
| 1m 2s | |
| 48s | |
| 59s | |
| 1m 39s | |
| 1m 47s | |
| 1m 54s | |
| 2m 21s | |
| 18m 20s |