List<UserType> todo = new LinkedList<UserType>();
todo.addAll(abstractDataTypes);
int countdown = todo.size();
while (!todo.isEmpty()) {
UserType trial = todo.remove(0);
--countdown;
try {
declareAbstractDataType(trial, env);
countdown = todo.size();
}