Function shiftrightunsigned 

pub fn shiftrightunsigned(value: Expr, shift: Expr) -> Expr

Shifts the bits of the first argument right by the number of positions specified by the second argument (logical/unsigned shift). If the shift amount is negative or greater than or equal to the bit width, it is normalized to the bit width (i.e., pmod(shift, bit_width)).