Fix a bug where condp could throw an exception in some cases (#1195)
#1335
| Job | Run time |
|---|---|
| 10m 57s | |
| 10m 33s | |
| 10m 38s | |
| 11m 7s | |
| 10m 39s | |
| 13m 7s | |
| 8m 19s | |
| 14m 1s | |
| 12m 10s | |
| 6m 40s | |
| 20s | |
| 1h 48m 31s |