diff --git a/assertions.sv b/assertions.sv
index d538ec3..3e45410 100644
--- a/assertions.sv
+++ b/assertions.sv
@@ -1,23 +1,23 @@
-module assert_prop_unique(
-         input wire [63 : 0] prop_base,
-         input wire [63 : 0] prop_len,
-         input wire [63 : 0] prop_newBase,
-         input wire [63 : 0] prop_newLen
-       );
-  wire prop_ok;
+// module assert_prop_unique(
+//          input wire [63 : 0] prop_base,
+//          input wire [63 : 0] prop_len,
+//          input wire [63 : 0] prop_newBase,
+//          input wire [63 : 0] prop_newLen
+//        );
+//   wire prop_ok;
 
-  module_prop_unique module_prop_unique_inst (
-    .prop_unique_base(prop_base),
-    .prop_unique_len(prop_len),
-    .prop_unique_newBase(prop_newBase),
-    .prop_unique_newLen(prop_newLen),
-    .prop_unique(prop_ok)
-  );
+//   module_prop_unique module_prop_unique_inst (
+//     .prop_unique_base(prop_base),
+//     .prop_unique_len(prop_len),
+//     .prop_unique_newBase(prop_newBase),
+//     .prop_unique_newLen(prop_newLen),
+//     .prop_unique(prop_ok)
+//   );
 
-  always @(*) begin
-    assert(prop_ok);
-  end
-endmodule
+//   always @(*) begin
+//     assert(prop_ok);
+//   end
+// endmodule
 
 module assert_prop_exact(
          input wire [63 : 0] prop_base,
@@ -180,3 +180,4 @@ module assert_prop_setBounds(
   always @(*) begin
     assert(prop_ok);
   end
+endmodule