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();