fix: fix fast_substitute folding array of symbolics
#2509
| Job | Run time |
|---|---|
| 38m 47s | |
| 1h 6m 58s | |
| 17m 40s | |
| 24m 3s | |
| 14m 53s | |
| 23s | |
| 2h 42m 44s |
fast_substitute folding array of symbolics
#2509
| Job | Run time |
|---|---|
| 38m 47s | |
| 1h 6m 58s | |
| 17m 40s | |
| 24m 3s | |
| 14m 53s | |
| 23s | |
| 2h 42m 44s |