pub fn fold_lit<F>(f: &mut F, node: Lit) -> Litwhere
    F: Fold + ?Sized,