pub fn xnif<F: Field>(a: Expression<F>, b: Expression<F>) -> Expression<F>