I didn't know these books, but I see they are by Fanny Waterman, so they ought to be good.
However, I HATE these gimmicky systems that resort to colours, or animals, to identify notes. IT IS NOT NECESSARY, unless we are dealing with a severely SEN child, which I assume is not the case. I am convinced, long term, it hampers learning and understanding, more than it helps: but this is only my own opinion.
ANY music, that you can find in charity shops, car boots etc, as long as it only uses the Keys Signatures, Time Signatures that she has already met, should be worth trying.
If you know the equivalent ABRSM level she is playing, then any of their Grades, possibly slightly higher, would also be useful. Their "Theory in Practice" series for the Grade will help her improve Theory knowledge, as it has written exercises to be completed by the student.
And for a bit of fun, this should keep her busy for a while: