CPS transformation after binding-time analysis