Remove dummy top and is_top implementations from int domains
#12348
| Job | Run time |
|---|---|
| 1m 22s | |
| 1m 22s |
top and is_top implementations from int domains
#12348
| Job | Run time |
|---|---|
| 1m 22s | |
| 1m 22s |