Fix support for with_exprt with more than 3 operands
#9716
| Job | Run time |
|---|---|
| 1m 39s | |
| 1m 39s |
with_exprt with more than 3 operands
#9716
| Job | Run time |
|---|---|
| 1m 39s | |
| 1m 39s |