{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"if"}]}
        if p.has_vars_bound_at_or_above(self.current_index) { p.super_fold_with(self) } else { p }
    fn fold_predicate(&mut self, p: I::Predicate) -> I::Predicate {
    }