{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
            // Even if we have seen this callee before, and thus don't need
        let callee_reaches_root = if let Some(&c) = seen.get(&callee) {
            // to recurse into it, we still need to propagate whether it reaches