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)
#351
| Job | Run time |
|---|---|
| 1h 43m 44s | |
| 13s | |
| 50s | |
| 16m 41s | |
| 12m 29s | |
| 22m 48s | |
| 1m 21s | |
| 54m 39s | |
| 2h 18m 29s | |
| 1m 2s | |
| 3s | |
| 5h 52m 19s |