@Override
public ASTNode visit(org.kframework.kil.FreezerLabel node, Void _void) {
Term term = (Term) this.visitNode(node.getTerm());
return new KLabelFreezer(term);
}
@Override
public ASTNode transform(org.kframework.kil.FreezerLabel node) throws TransformerException {
Term term = (Term) node.getTerm().accept(this);
return new KLabelFreezer(term);
}