@Override
public ASTNode visit(org.kframework.kil.Bag node, Void _void) {
List<org.kframework.kil.Term> contents = new ArrayList<>();
org.kframework.kil.Bag.flatten(contents, node.getContents());
CellCollection.Builder builder = CellCollection.builder(null, globalContext.getDefinition());
for (org.kframework.kil.Term term : contents) {
if (term instanceof TermComment) {
continue;
}
builder.concatenate((Term) this.visitNode(term));
}
return builder.build();
}
