{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"back_edge_stack.push(predecessor)"}]}
                    back_edge_stack.push(predecessor)
                if location.dominates(predecessor, self.dominators()) {
                } else {