{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"self.restore_snapshot(snapshot_pat);"}]}
                        self.restore_snapshot(snapshot_pat);
                        }
                    }