@Override public ASTNode visit(org.kframework.kil.MapBuiltin node, Void _void) { BuiltinMap.Builder builder = BuiltinMap.builder(termContext); for (Map.Entry<org.kframework.kil.Term, org.kframework.kil.Term> entry : node.elements().entrySet()) { builder.put((Term) this.visitNode(entry.getKey()), (Term) this.visitNode(entry.getValue())); } for (org.kframework.kil.Term term : node.baseTerms()) { builder.concatenate((Term) this.visitNode(term)); } return builder.build(); }