AssemblyResolution returnBest(MaskedLong rval, MaskedLong goal)
				throws NeedsBackfillException, SolverException {
			if (firstBackfillExc != null) {
				throw firstBackfillExc;
			}
			if (firstBackfillRes != null) {
				return firstBackfillRes;
			}
			if (firstErrorExc != null && firstErrorExc instanceof SolverException) {
				throw (SolverException) firstErrorExc;
			}
			if (firstErrorExc != null && firstErrorExc instanceof UnsupportedOperationException) {
				throw (UnsupportedOperationException) firstErrorExc;
			}
			if (firstErrorExc != null) {
				throw new AssertionError();
			}
			if (firstErrorRes != null) {
				return firstErrorRes;
			}
			throw new SolverException(
				"Encountered unsolvable multiplication: " + rval + "*x = " + goal);
		}
Solves expressions of the form {@code A * B}
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/plugin/assembler/sleigh/expr/MultExpressionSolver.java