pub fn shr( builder: &mut ConstraintSystemBuilder<'_>, name: impl ToString, input: OracleId, offset: usize, ) -> Result<OracleId, Error>