Set newlit = new HashSet(literals.size());
Iterator it = literals.iterator();
while (it.hasNext())
{
GroundCondition c = (GroundCondition) it.next();
if (! (c instanceof TrueCondition)) newlit.add(c.staticifyCondition(fValues));
}
literals = newlit;
if (literals.isEmpty()) return TrueCondition.getInstance();
else return this;
}