fix trigger in to_multiset_len and commutative_foldr proof (#1454)
#6437
| Job | Run time |
|---|---|
| 6m 22s | |
| 52s | |
| 18m 13s | |
| 9m 12s | |
| 12m 29s | |
| 2m 59s | |
| 3m 35s | |
| 2m 22s | |
| 2m 51s | |
| 2m 51s | |
| 16s | |
| 1h 2m 2s |