getNextBasicBlock in IO