@Override
	public AssemblyResolution solve(AbstractAssemblyResolutionFactory<?, ?> factory,
			EndInstructionValue 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 " +
			AbstractAssemblyTreeResolver.INST_NEXT);
		/**
		 * 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.
		 */
	}
"Solves" expressions of {@code inst_next}

<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_next} is not known
until possible prefixes have been considered.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/plugin/assembler/sleigh/expr/EndInstructionValueSolver.java