Iterator fit = funcSymbols.iterator();
while (fit.hasNext())
{
boolean isStatic = true;
FunctionSymbol fs = (FunctionSymbol) fit.next();
Iterator oit = actions.iterator();
while (oit.hasNext() && isStatic)
{
Operator o = (Operator) oit.next();
isStatic = !o.effects(fs);
}
fs.setStatic(isStatic);
}
}