Iterator lit = literals.iterator();
UngroundCondition c = null;
while (lit.hasNext())
{
UngroundEffect p = (UngroundEffect) lit.next();
UngroundCondition d = p.effectsAdd(cond);
if (!d.equals(cond)) c=d;
}
if (c == null) return cond;
else return c;
}