Critical/OverflowDestination.ql