TSM and Severance with buybacks

do years of non-continous service that were bought from both GoC student, and prior private sector employment count when calculating years of service for TSM and severance (under PIPSC) if opting under WFA?