Riverpod: Rewriting Provider