the one that provides the best cool down strategy for reaching that goal using static stretching is : gradually increasing the challenge level of stretches
by doing this,her joint will become more and more flexible and it will reach a point where the range of motion in her shoulders would be increased
hope this helps