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