public void visitRetStmt(final RetStmt stmt) {
		final Set targets = new HashSet();

		final Iterator iter = stmt.sub().paths().iterator();

		while (iter.hasNext()) {
			final Block[] path = (Block[]) iter.next();
			targets.add(path[1]);
		}

		targets.addAll(stmt.catchTargets());

		verifyTargets(stmt.block(), targets);

		visitNode(stmt);
	}