public override Variable VisitVariable(Variable v) { if (verifier.KernelArrayInfo.ContainsGlobalOrGroupSharedArray(v, true)) { if (verifier.ArrayModelledAdversarially(v)) { found = true; } } return(base.VisitVariable(v)); }