Function sub

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