public void setOperandAt(final Block block, final Def def) {
			final int blockIndex = cfg.preOrderIndex(block);
			operands[blockIndex] = def;

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