Ah, yes, good catch.
Maybe we should write something in the README about the different things to check when we add a new constraint.