code: @Override
  	public ESat isEntailed() {
  		for (int i : loops.getLB()) {
  			if (!g.getPotSuccOrNeighOf(i).contains(i)) {
  				return ESat.FALSE;
  			}
  		}
  		for (int i : g.getMandatoryNodes()) {
  			if (g.getMandSuccOrNeighOf(i).contains(i) && !loops.getUB().contains(i)) {
  				return ESat.FALSE;
  			}
  		}
  		if (isCompletelyInstantiated()) {
  			return ESat.TRUE;
  		}
  		return ESat.UNDEFINED;
  	}
docs: ***********************************************************************************