Generalize and clean up abs invariant in base analysis
#6786
| Job | Run time |
|---|---|
| 12s | |
| 12s |
abs invariant in base analysis
#6786
| Job | Run time |
|---|---|
| 12s | |
| 12s |