Critical/NewFreeMismatch.ql