{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
    // Compute the "maybe initialized" information for this body.
    // When we encounter a DROP of some place P we only care