@Override
	public MaskedLong valueForResolution(Next2InstructionValue exp, Map<String, Long> vals,
			AssemblyResolvedPatterns rc) {
		Long instNext = vals.get(AssemblyTreeResolver.INST_NEXT2);
		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);
	}
"Solves" expressions of {@code inst_next2}

<p>
Works like the constant solver, but takes the value of {@code inst_next}, which is given by the
assembly address and the resulting instruction length.

<p>
<b>NOTE:</b> This solver requires backfill, since the value of {@code inst_next2} is not known
until possible prefixes have been considered.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/plugin/assembler/sleigh/expr/Next2InstructionValueSolver.java