private void visitSwitchInsn(final Label dflt, final Label[] labels) {
		// Label currentBlock = this.currentBlock;
		if (currentBlock != null) {
			if (compute == FRAMES) {
				currentBlock.frame.execute(Opcodes.LOOKUPSWITCH, 0, null, null);
				// adds current block successors
				addSuccessor(Edge.NORMAL, dflt);
				dflt.getFirst().status |= Label.TARGET;
				for (int i = 0; i < labels.length; ++i) {
					addSuccessor(Edge.NORMAL, labels[i]);
					labels[i].getFirst().status |= Label.TARGET;
				}
			} else {
				// updates current stack size (max stack size unchanged)
				--stackSize;
				// adds current block successors
				addSuccessor(stackSize, dflt);
				for (int i = 0; i < labels.length; ++i) {
					addSuccessor(stackSize, labels[i]);
				}
			}
			// ends current block
			noSuccessor();
		}
	}