private void finish() {
			List<Varnode> sortedLiveUp = new ArrayList<>(this.liveUp);
			Collections.sort(sortedLiveUp, Comparator.comparing(Varnode::getAddress));
			liveVars.addAll(sortedLiveUp);
			liveVars.retainAll(liveDn);
		}
Finish the analytic computation for this block

<p>
If a block contains an access to a variable, that variable is alive in that block. If a
block is between (in terms of possible control-flow paths) two others that access a
variable, that variable is alive in the block.
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/analysis/JitVarScopeModel.java