{"ast_node_type":"function","tokens":[{"end":65,"kind":"keyword","start":0,"text":"fn"}]}
    fn is_empty(&self, state: &State<ConditionSet<'a>>) -> bool {
impl<'a, 'tcx> TOFinder<'a, 'tcx> {
        state.all_bottom()