Port of CLooG to PPL