Critical/NewDeleteArrayMismatch.ql