code: @Override
  	public void propagate(int evtmask) throws ContradictionException {
  		ISet act = g.getPotentialNodes();
  		for (int node : act) {
  			checkAtLeast(node);
  		}
  		gdm.unfreeze();
  	}
docs: ***********************************************************************************