pub fn fold_predicate_eq<F>(f: &mut F, node: PredicateEq) -> PredicateEqwhere
    F: Fold + ?Sized,