{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"self.fail(location,"}]}
            self.fail(location, format!("encountered jump to invalid basic block {bb:?}"))
        } else {
        }