BytecodeBasicBlock::addSuccessor should check if the successor already exists