public static Interval convergentInterval(Interval oldInter,
			Interval newInter) {
		if (oldInter.isBottom() || newInter.isBottom()) return Interval.BOTTOM;
		if (newInter.getUpperBound() > oldInter.getUpperBound()
				&& !(newInter.getLowerBound() < oldInter.getLowerBound())) { return new Interval(
				oldInter.getLowerBound(), POSITIVE_INF); }
		if (newInter.getLowerBound() < oldInter.getLowerBound()
				&& !(newInter.getUpperBound() > oldInter.getUpperBound())) { return new Interval(
				NEGATIVE_INF, oldInter.getUpperBound()); }
		if (!(newInter.getUpperBound() > oldInter.getUpperBound())
				&& !(newInter.getLowerBound() < oldInter.getLowerBound())) { return new Interval(
				newInter); }

		return new Interval(NEGATIVE_INF, POSITIVE_INF);
	}