Critical/OverflowStatic.ql