protected void queueNeighbors(JitVal v) {
		for (ValUse use : v.uses()) {
			JitTypeBehavior type = use.type();
			if (type == JitTypeBehavior.COPY && use.op() instanceof JitDefOp def) {
				queue.add(def.out());
			}
		}

		if (v instanceof JitOutVar out) {
			JitDefOp def = out.definition();
			if (def.type() == JitTypeBehavior.COPY) {
				queue.addAll(def.inputs());
			}
		}
	}
Re-add the given value's neighbors to the processing queue.

<p>
Neighbors are any values connected to the given one via {@link JitCopyOp} or {@link JitPhiOp}
&mdash; or any op with an operand requiring {@link JitTypeBehavior#COPY} if additional ones
should appear in the future. This is necessary because those ops may change their vote now
that this value's tentative type has changed. Note if the value is already in the queue, it
need not be added again. Thus, the queue is a {@link SequencedSet}.

@param v the value whose neighbors to re-process
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/analysis/JitTypeModel.java