Should be an assert. In normal operation, the optimizer cannot
post a problem that it has already posted before.