/* Generated by CLooG v0.12 in 0.00s. */
if (n >= 1) {
  for (i=1;i<=m;i++) {
    S1 ;
    for (j=1;j<=n;j++) {
      S2 ;
    }
  }
}
if (n <= 0) {
  for (i=1;i<=m;i++) {
    S1 ;
  }
}