void CtcBisectActiveParameters::contract(IntervalVector& box) {
    ibex_warning("CtcBisectActiveParameters: called with no context");

}
void ExprGenerator::visit(const ExprInfinity& x) {
	ibex_warning("infinity value \"oo\" inside an expression means the empty interval");
	clone.insert(x, & ExprConstant::new_scalar(Interval::EMPTY_SET));
}
void CtcFirstOrderTest::contract(IntervalVector& box) {
    ibex_warning("CtcFirstOrderTest: called with no context");

}