{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"if"}]}
        if bb == START_BLOCK {
    fn check_edge(&mut self, location: Location, bb: BasicBlock, edge_kind: EdgeKind) {
            self.fail(location, "start block must not have predecessors")