{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
            // predecessor regions that contain the loan. One of the two TCs we had pushed the
            // while time-traveling: we're not actually at that CFG point, but looking for
            // transitive subset edges to each point instead of having backward edges, and the