{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"self.fail("}]}
                    self.fail(
                if !no_cycle {
                        Location { block: bb, statement_index: 0 },