protected AssemblyResolution tryRep(AbstractAssemblyResolutionFactory<?, ?> factory,
			PatternExpression lexp, MaskedLong rval, MaskedLong repGoal, MaskedLong goal,
			Map<String, Long> vals, AssemblyResolvedPatterns cur, Set<SolverHint> hints,
			String description) throws NeedsBackfillException {
		MaskedLong lval = repGoal.divideUnsigned(rval);
		if (lval.multiply(rval).agrees(goal)) {
			return solver.solve(factory, lexp, lval, vals, cur, hints, description);
		}
		return null;
	}
Solves expressions of the form {@code A * B}
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/plugin/assembler/sleigh/expr/MultExpressionSolver.java