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