The client talked to another HR person. They said her contributions didn't get taxed in the rollover, but they said since she was vested in the pension plan, the amount contributed by the employer was taxable.
