#include<assert.h>

#pragma TASS input {nx>=2 && nx<=3}
int nx;

void main() {
	int x = 2;
	int y = 3;
	int z;
	boolean k;
	double x1 = 2.0;
	double y1 = 3.0;
	double z1;
	int m = ((PID+1)*nx)/NPROCS - (PID*nx)/NPROCS + 2;
	
	k = true && false || x > 2 && y <= 3;
	z = x/y;
	assert z == 0;
	z1 = x1/y1;
	assert z1>0.0 && z1<1.0;
	
}
