/* Generated by CLooG v0.10.7 */
for (i=0;i<=M;i++) {
  S1 ;
  for (j=0;j<=N;j++) {
    S2 ;
    S3 ;
  }
  S4 ;
}