Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis)
#560
| Job | Run time |
|---|---|
| 43s | |
| 0s | |
| 0s | |
| 1s | |
| 44s |