[PD] Zexy and PDP Compilation Problems