Issue 13010: use VRP for static asserts