pub fn fold_lit_bool<F>(f: &mut F, node: LitBool) -> LitBoolwhere
    F: Fold + ?Sized,