String varLabel(JitVar v) {
			return switch (v) {
				case JitVarnodeVar vv -> "%s\n%d".formatted(vv.varnode().toString(language),
					v.id());
				default -> throw new AssertionError();
			};
		}
A diagnostic tool for visualizing the use-def graph.

<p>
NOTE: This is only as complete as it needed to be for me to diagnose whatever issue I was
having at the time.

@see #exportGraphviz(File)
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/analysis/JitDataFlowModel.java