use @assume_effects :terminates_locally on bezout, similarly to `…
#668
| Job | Run time |
|---|---|
| 5m 37s | |
| 6m 47s | |
| 6m 0s | |
| 5m 34s | |
| 6m 35s | |
| 5m 50s | |
| 36m 23s |
@assume_effects :terminates_locally on bezout, similarly to `…
#668
| Job | Run time |
|---|---|
| 5m 37s | |
| 6m 47s | |
| 6m 0s | |
| 5m 34s | |
| 6m 35s | |
| 5m 50s | |
| 36m 23s |