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

<p>
This is different from a normal shift right, in that it inserts unknowns at the left. The
normal right shift inserts zeros or sign bits. Additionally, if any ones would fall off the
right, 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