<BUG>TACDestination dest = node.getDestination();for (int i = 0; i < dest.getNumPossibilities(); i++)sb.append("label ").append(symbol(dest.getPossibility(i))).</BUG><CONTEXT>else if (node.isDirect())writer.write("br label " + symbol(node.getLabel()));else if (node.isIndirect()) {StringBuilder sb = new StringBuilder("indirectbr i8* ").append(symbol(node.getOperand())).append(", [ ");<extra_id_0>append(", ");</CONTEXT>
TACPhiRef dest = node.getDestination();for (int i = 0; i < dest.getSize(); i++)sb.append("label ").append(symbol(dest.getValue(i))).