rangeDecls = rangeDecls.and(itr.next().decl);
}
// System.out.println(skolemDecl.expression());
Expression skolemDomain = skolem;
for(int i = 0, max = skolemDecl.variable().arity(); i < max; i++) {
skolemDomain = skolemDomain.join(Expression.UNIV);
}
return skolemDomain.in(Formula.TRUE.comprehension(rangeDecls));
}
/**