Critical/FileMayNotBeClosed.ql