# test if-then-else generation

symbolic n,m;
r0:={[i,j]:1<=i,j<=n && m>1 && m<n};
r1:={[i,j]:1<=i,j<=n && m>1 && m>=n };
r2:={[i,j]:1<=i,j<=n && m<=1};
codegen 0 r0,r1,r2;

r0:={[i]:1<=i<=100 && n> 1};
r1:={[i,j]:1<=i,j<=100 && n>1};
r2:={[i,j]:1<=i,j<=100};
codegen 0 r0,r1,r2;
codegen 1 r0,r1,r2;
codegen 2 r0,r1,r2;

r0:={[i,j]:1<=i,j<=100 && exists (alpha: i=4alpha)};
r1:={[i,j]:10<=i,j<=100 && exists (alpha: i=4alpha+2)};
codegen 0 r0,r1;
codegen 1 r0,r1;