public MaskedLong invShiftRightLogical(MaskedLong n) throws SolverException {
		if (!n.isFullyDefined()) {
			throw new UnsupportedOperationException("Cannot left shift by an unknown amount");
		}
		return invShiftRightLogical(n.longValue());
	}
Invert a logical right shift of {@code n} positions, that is shift left

<p>
This is different from a normal shift left, in that it inserts unknowns at the right. The
normal left shift inserts zeros. Additionally, if any ones would fall off the left, the
inversion is undefined.

@param n the number of positions
@return the result
@throws SolverException if the inversion is undefined
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/plugin/assembler/sleigh/expr/MaskedLong.java