{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"//"}]}
        // unreachable from the loan's introduction point, as they would stop traversal when
        // For the reasons described in graph traversal, we also filter out kills
        // e.g. checking for reachability in the subset graph through invariance constraints