pub fn step_down( builder: &mut ConstraintSystemBuilder<'_>, name: impl ToString, log_size: usize, index: usize, ) -> Result<OracleId, Error>