Critical/FileNeverClosed.ql