/* Generated from ./test/guide.cloog by CLooG v0.14.0 64 bits in 0.00s. */
/* CLooG asked for 168 KBytes. */
for (i=1;i<=N;i++) {
  if (i >= M) {
    S1 ;
  }
  if (i <= min(2*M,M-1)) {
    S1 ;
  }
}
for (i=N+1;i<=2*N;i++) {
  S2 ;
}
