Rename ppcg_scop_from_pet_scop