[ty] Use a simpler ordering for BDD variables#22777

dcreager merged 1 commit intomainastral-sh/ruff:mainfrom

dcreager/simpler-orderingastral-sh/ruff:dcreager/simpler-orderingCopy head branch name to clipboard