ruff

c7257dac - use top/bottom materializations in constraints