if (oldlb < lowerbound || oldub > upperbound) {
if (oldub < lowerbound || oldlb > upperbound) {
// TODO solver.getExplainer()...
this.contradiction(cause, RealEventType.BOUND, MSG_BOUND);
} else {
RealEventType e = RealEventType.VOID;
if (oldlb < lowerbound) {
LB.set(lowerbound);
e = RealEventType.INCLOW;
}
if (oldub > upperbound) {