// $HeadURL$
// $Date$
// $Author$

// __DSTRESS_TORTURE_BLOCK__ -release

module dstress.run.invariant_13;

class Parent{
	int x;

	void test(){
	}
	
	invariant{
		// even number
		assert(x&1==0);
	}
}

class Child : Parent{
}

class GrandChild : Child{
	this(int x){
		this.x=x;	
	}

	invariant{
		assert(x>2);
	}
}

int main(){
	try{
		GrandChild gc = new GrandChild(2);
	}catch{
		return 0;
	}
	assert(0);
}