ruff

[red-knot] Use ternary decision diagrams (TDDs) for visibility constraints

#15861

Merged