progress on properties of cps translation (inductive version)