Critical/DeadCodeGoto.ql