renumberArray = new SSAStack[bytecode.getMaxStack() + bytecode.getNoLocals()];
	public IRControlFlowGraph(VmByteCode bytecode) {		// First determine the basic blocks		final IRBasicBlockFinder bbf = new IRBasicBlockFinder();		BytecodeParser.parse(bytecode, bbf);		this.bblocks = bbf.createBasicBlocks();		startBlock = bblocks[0];		renumberArray = new SSAStack[bytecode.getMaxStack() + bytecode.getNoLocals()];		computeDominance();	}