code: @Override
  	public void propagate(int evtmask) throws ContradictionException {
  		if (g.getPotentialNodes().size() == g.getMandatoryNodes().size() && !helper.isBiconnected()) {
  			fails();
  		}
  	}
docs: ***********************************************************************************