final ATermAppl x = getSourceABox().getNodeList().get(i); final Node node = _sourceABox.getNode(x); final Node copyNode = node.copyTo(this);
final ATermAppl x = getSourceABox().getNodeList().get(i); final Node node = _sourceABox.getNode(x); final Node copyNode = node.copyTo(this);