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