code: @Override
  	public boolean isInstantiated() {
  		if (getPotentialNodes().size() != getMandatoryNodes().size()) {
  			return false;
  		}
  		ISet suc;
  		for (int i : getUB().getNodes()) {
  			suc = UB.getSuccOrNeighOf(i);
  			if (suc.size() != getLB().getSuccOrNeighOf(i).size()) {
  				return false;
  			}
  		}
  		return true;
  	}
docs: ***********************************************************************************