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