private VarnodeOperation getOperation(Address addr, int opcode, Varnode[] inputs, Varnode output) {
		if (addr == null) {
			// TODO: We should probably require an address
			addr = Address.NO_ADDRESS;
		}
		return new VarnodeOperation(new PcodeOp(addr, -1, opcode, inputs, output), inputs);
	}
When no longer updating this state, this method should be invoked to
cleanup resources no longer needed (e.g., uniqueState no longer 
maintained).
Ghidra/Features/Base/src/main/java/ghidra/util/state/ContextState.java