{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"//"}]}
            // - reachable from the introduction point
            // account kills that are:
            // - encountered during forward traversal. Note that this is not transitive like the