private void verifyTargets(final Block block, final Set targets) {
		Assert.isTrue(targets.size() == cfg.succs(block).size(), block
				+ " has succs " + cfg.succs(block) + " != " + targets + " in "
				+ block.tree().lastStmt());

		final Iterator iter = targets.iterator();

		while (iter.hasNext()) {
			final Block target = (Block) iter.next();
			Assert.isTrue(block.graph().hasNode(target), target
					+ " is not in the CFG");
			Assert.isTrue(cfg.succs(block).contains(target), target
					+ " is not a succ of " + block + " "
					+ block.tree().lastStmt());
		}
	}