@Override public void visit(StoreResultNode node) { output.println("StoreResultNode: "+node.toString()); super.visit(node); }
@Override public void visit(StoreResultNode node) { output.println("StoreResultNode: "+node.toString()); super.visit(node); }