pub async fn term_is_provably_shared<'db>( env: &mut Env<'db>, term: SymGenericTerm<'db>, ) -> Errors<bool>