I would recommend that she start looking for a job right away, and leave once she has gotten a new job offer. Often raising the issue to HR would just create a lot of red tape and nothing would really be done, worse she could be labelled as a troublemaker and it might be harder for her to...