Add superfluous-termination rule
#391
| Job | Run time |
|---|---|
| 54s | |
| 49s | |
| 1m 29s | |
| 2m 36s | |
| 5m 48s |
superfluous-termination rule
#391
| Job | Run time |
|---|---|
| 54s | |
| 49s | |
| 1m 29s | |
| 2m 36s | |
| 5m 48s |