Performance/ReDoS.ql