{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"p"}]}
                            p = c.sup;
                        Trace::FromGraph(c) => {
                            result.push(*c);