diff --git a/src/test/examples/adaptclassstrings/Main.java b/src/test/examples/adaptclassstrings/Main.java
index 4cee1d5..0489ca4 100644
--- a/src/test/examples/adaptclassstrings/Main.java
+++ b/src/test/examples/adaptclassstrings/Main.java
@@ -5,6 +5,7 @@
 
 public class Main {
   public static void main(String[] args) throws Exception {
+    assert false;
     int f = 3;
     A a = new A(f);
     AA aa = new AA(f);
@@ -25,6 +26,7 @@
     assert a_foo.equals(c_to_a_foo);
 
     String cName = (String) Class.forName(C.ITSELF).getField("ITSELF").get(null);
-    assert cName.equals(A.OTHER);
+    boolean b = cName.equals(A.OTHER);
+    assert b;
   }
 }