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