Critical/NewArrayDeleteMismatch.ql