Security/CWE-807/ConditionalBypass.ql