String value = node.toString();
stack.push(value.substring(1, value.length() - 2));
}
public void outAAddressValue(AAddressValue node) {
String value = node.toString();
stack.push(value.substring(1, value.length() - 2));
}
public void outAAddressValue(AAddressValue node) {