283284285286287288289290291292293
IStrategoList termList = ATermCommands.makeList("NextToplevelDeclaration", list); IStrategoList listIt = termList; while (!listIt.isEmpty()) { ParentAttachment.putParent(listIt.head(), termList, listIt); listIt = listIt.tail(); } return termList; }