pub fn add_carryfree_lookup( builder: &mut ConstraintSystemBuilder<'_>, name: impl ToString + Clone, ) -> Result<OracleId, Error>