Change static member constraints name `^S` to `^U`