{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"//"}]}
                // within the same block.
                // Intra-block edges, straight line constraints from each point to its successor
                let next_location = Location { block, statement_index: statement_index + 1 };