pub fn ensure_odd( builder: &mut ConstraintSystemBuilder<'_>, input: OracleId, count: usize, ) -> Result<(), Error>