--- a/run/invariant_12.d	Mon Jul 23 18:47:01 2007 +0000
+++ b/run/invariant_12.d	Sun Aug 19 19:11:54 2007 +0000
@@ -14,11 +14,15 @@
 	void test(){
 	}
 	
-	invariant{
-		assert(!checked);
+	invariant(){
+		if(checked){
+			assert(0);
+		}
 		checked=true;
 		// even number
-		assert((x&1u)==0);
+		if(x & 1u){
+			assert(0);
+		}
 	}
 }
 
@@ -33,10 +37,14 @@
 
 int main(){
 	try{
-		assert(!checked);
+		if(checked){
+			assert(0);
+		}
 		GrandChild gc = new GrandChild();
 	}catch{
-		assert(checked);
+		if(!checked){
+			assert(0);
+		}
 		return 0;
 	}
 	assert(0);