ruff

4e0841b0 - [π] Skip recursive implication for open constraints