if (nextDecl.toString().contains(ContentProposerSemantic.COMPLETION_TOKEN)) {
IStrategoList termList = ATermCommands.makeList("NextToplevelDeclaration", list);
IStrategoList listIt = termList;
while (!listIt.isEmpty()) {
ParentAttachment.putParent(listIt.head(), termList, listIt);
listIt = listIt.tail();
}
return termList;
}