code: @Override
  	public void propagate(int evtmask) throws ContradictionException {
  		// reset data structures
  		reset();
  		// reach all nodes from root
  		if (domFinder.findDominators()) {
  			// remove backward arcs
  			remBackArcs();
  			// enforce dominators and arc-dominators
  			enforceDominators();
  		} else {
  			fails();
  		}
  	}
docs: ***********************************************************************************