Analyze 'Goto' bytecode to create or get a basic block by a label name,
connect the blk with current blk and its siblings.