We don't know if they work in general, but specific cases of recursive protocol constraints are working, and enabling them doesn't break anything.