{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"//"}]}
                //
                // if and only if the edge is on all paths from the entry to the use.
                // Note that a call terminator has only one edge that can reach the target, so when