{"ast_node_type":"function","tokens":[{"end":75,"kind":"keyword","start":0,"text":"fn"}]}
    fn fold_predicate(&mut self, predicate: I::Predicate) -> I::Predicate {
        if predicate.allow_normalization() { predicate.super_fold_with(self) } else { predicate }