match.pd: add single-use check for (x & y) ^ y -> ~x & y (PR 85758)