Function beta_unknowns_cow 

pub(crate) fn beta_unknowns_cow(t: &Term) -> Cow<'_, Term>