public void setSaveOperand(final Block block, final boolean flag) {
			final int blockIndex = cfg.preOrderIndex(block);
			saveOperand[blockIndex] = flag;

			if (SSAPRE.DEBUG) {
				System.out.println(this);
			}
		}