fix: fix fast_substitute folding array of symbolics
#2529
| Job | Run time |
|---|---|
| 28m 32s | |
| 28m 32s |
fast_substitute folding array of symbolics
#2529
| Job | Run time |
|---|---|
| 28m 32s | |
| 28m 32s |