if (VERIFY_INTEGRITY) { if (destBlock.isExceptionHandler() && edgeType != HANDLED_EXCEPTION_EDGE) throw new IllegalStateException("In method " + SignatureConverter.convertMethodSignature(methodGen) + ": exception handler " + destBlock.getFirstInstruction() + " reachable by non exception edge type " + edgeType); }
		public void addEdge(BasicBlock sourceBlock, BasicBlock destBlock, int edgeType) {			cfg.addEdge(sourceBlock, destBlock, edgeType);		}