{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
    // This vector serves optimization purposes only: we could have
    // contains the variables we'll do the liveness analysis for).
    // obtained the same information from `live_locals` but we want to