diff --git a/src/lib.rs b/src/lib.rs
index e1a5513f3663b8c08031c78e5c281f209195e453..a3eea4b344ecfb6ac8dd61f2a9859d3d643135b7 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -77,6 +77,7 @@ pub struct RW<T>
 where
     T: Copy,
 {
+    #[allow(unused)]
     register: VolatileCell<T>,
 }
 
@@ -125,7 +126,8 @@ where
     where
         F: FnOnce(T) -> T,
     {
-        f(self.register.read());
+        f(self.read());
+        klee::abort();
     }
 
     /// Reads the symbolic value of the register