{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"debug_assert_eq!(self.predecessors,"}]}
        debug_assert_eq!(self.predecessors, predecessor_count(body));
        // Check that `predecessors` satisfies its invariant.