Sorry I wasn't implying she shouldn't report to HR. I was responding to previous comment which said "What did HR do?". So like you are suggesting it could have been the first report against him and HR might not have not done anything, which doesn't necessarily imply they are complicit in harassment.