They did, recorded her in three separate times.
If you look at some small details like skirt, hair, feet, head etc. you'd notice there are (very small) differences here and there.
But then, you can indeed get the same result by copy-pasted her in the background, so I guess it's kind of pointless?