Drops the universal dependency (arity) during Skolemization: `![X]: ?[Y]: p(X, Y)` to `![X]: p(X, sK0)` instead of `sK0(X)`.
Tests if structural skolemize checkers properly validate variable scopes.
