pub fn add( builder: &mut ConstraintSystemBuilder<'_>, name: impl ToString, xin: OracleId, yin: OracleId, flags: Flags, ) -> Result<OracleId, Error>