strawberry/_constraints