Critical/DoubleFree.ql