public void addKill(final Block block, final Kill kill) {
			if (SSAPRE.DEBUG) {
				System.out.println("    add alias to worklist=" + kill.expr
						+ " " + kill);
			}

			final int blockIndex = cfg.preOrderIndex(block);
			kills[blockIndex].add(kill);
			killsSorted[blockIndex] = false;
		}