[opt] Add AND subset (absorption) rewrite#3692

cdleary wants to merge 1 commit intogoogle:maingoogle/xls:mainfrom

xlsynth:cdleary/2026-01-15-absorptionxlsynth/xlsynth:cdleary/2026-01-15-absorptionCopy head branch name to clipboard