@Override
	public AssemblyResolution solve(AbstractAssemblyResolutionFactory<?, ?> factory,
			Next2InstructionValue exp, MaskedLong goal, Map<String, Long> vals,
			AssemblyResolvedPatterns cur, Set<SolverHint> hints, String description)
			throws NeedsBackfillException {
		throw new AssertionError(
			"INTERNAL: Should never be asked to solve for " + AssemblyTreeResolver.INST_NEXT2);
	}
"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