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