*/
static SparseSequence<Formula> roots(TranslationLog log) {
final SparseSequence<Formula> rootVars = new TreeSequence<Formula>();
final Set<Formula> roots = log.roots();
final Map<Formula,int[]> maxRootVar = new IdentityHashMap<Formula,int[]>(roots.size());
final RecordFilter filter = new RecordFilter() {
public boolean accept(Node node, Formula translated, int literal, Map<Variable, TupleSet> env) {
return roots.contains(translated) && env.isEmpty();
}
};
for(Iterator<TranslationRecord> itr = log.replay(filter); itr.hasNext();) {