@Override
	public MaskedLong computeLeft(MaskedLong rval, MaskedLong goal) throws SolverException {
		MaskedLong lval = goal.invMultiplyUnsigned(rval);
		if (lval.multiply(rval).agrees(goal)) {
			return lval;
		}
		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