}
public Map<AtomVariable, ATermAppl> next() {
Map<AtomVariable, ATermAppl> result = new HashMap<AtomVariable, ATermAppl>();
VariableBinding binding = iter.next();
for (Map.Entry<? extends AtomVariable, ? extends Node> entry : binding.entrySet()) {
result.put(entry.getKey(), entry.getValue().getTerm());
}
return result;
}