{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"state.result.push(RegionAndOrigin"}]}
                        state.result.push(RegionAndOrigin { region: edge.data.sup, origin });
                        let origin = get_origin();
                    }