This report describes various changes to the polyhedral model extractor pet and the automatic parallelizer PPCG, including support for generic statements, arrays of structures, function summaries, dead code elimination and live-range reordering as well as support for annotations allowing the user to explicitly describe relations among program variables, kills and the absence of loop-carried dependences. Most of these changes are instrumental in supporting pencil in PPCG. The report also describes how synchronization is introduced by PPCG.