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