downEstimate_ and upEstimate_ not both nonzero

[svigerske]

Issue created by migration from Trac.

Original creator: @merraksh

Original creation time: 2010-10-26 20:49:40

Assignee: somebody

Version:

Often, an assert() is evaluated false on the condition in the subject. Couenne does not crash in non-debug mode due to this, but that condition should be always satisfied.