Alpha conversion of CPS.