public void allPreds(int arity, List result) { Exp e; Iterator<Exp> i = exps.iterator(); while (i.hasNext()) { e = i.next(); e.allPreds(arity, result); } }