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