{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"assert!(this.predecessors[START_BCB].is_empty());"}]}
        assert!(this.predecessors[START_BCB].is_empty());
        assert!(this[START_BCB].leader_bb() == mir::START_BLOCK);