Critical/MemoryNeverFreed.ql