{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"if"}]}
                if location.dominates(predecessor, self.dominators()) {
            predecessor_locations(self.body, location).for_each(|predecessor| {
                    back_edge_stack.push(predecessor)