Analyzed the label bytecode by using the 'isGoto' flag to determine
whether to link the current blk with the next blk.