Rename ppcg_scop_from_pet_scop to ppcg_scop_from_polly_scop