@Override
	public MaskedLong valueForResolution(EndInstructionValue exp, Map<String, Long> vals,
			AssemblyResolvedPatterns rc) {
		Long instNext = vals.get(AbstractAssemblyTreeResolver.INST_NEXT);
		if (instNext == null) {
			/**
			 * This method is used in forward state construction, so just leave unknown. This may
			 * cause unresolvable trees to get generated, but we can't know that until we try to
			 * resolve them.
			 */
			return MaskedLong.UNKS;
		}
		return MaskedLong.fromLong(instNext);
	}
I suppose we could instead throw NeedsBackfillException(INST_NEXT) here, too, but this
serves as a sanity check on the SLEIGH spec. I can't think of a good reason to try to
solve INST_NEXT == const.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/plugin/assembler/sleigh/expr/EndInstructionValueSolver.java