return termList;
}
IStrategoTerm remainingInputTerm = ATermCommands.getApplicationSubterm(term, "NextToplevelDeclaration", 1);
treeBuilder.retract(remainingInputTerm);
remainingInput = ((IStrategoString) remainingInputTerm).stringValue();
}
}
// private Path initialTrans = null;