Different behaviour with same constraint

[NikKovIos]

view.width(Device.width * 241 / 375)

view.widthAnchor.constraint(equalToConstant: Device.width * 241 / 375).isActive = true

with stevia the priority is 751, so the width is ambigous.