fix trigger in to_multiset_len and commutative_foldr proof
#6436
| Job | Run time |
|---|---|
| 1m 0s | |
| 10m 19s | |
| 6m 28s | |
| 8m 26s | |
| 11m 49s | |
| 3m 15s | |
| 2m 39s | |
| 2m 41s | |
| 3m 4s | |
| 2m 31s | |
| 0s | |
| 52m 12s |