code: @Override
  	public ESat isEntailed() {
  		if (k.getUB() < minCC() || k.getLB() > maxCC()) {
  			return ESat.FALSE;
  		}
  		if (isCompletelyInstantiated()) {
  			return ESat.TRUE;
  		}
  		return ESat.UNDEFINED;
  	}
docs: ***********************************************************************************