diff --git a/check/classic/classic.ref b/check/classic/classic.ref
index e5fde8e..35ae2f3 100644
--- a/check/classic/classic.ref
+++ b/check/classic/classic.ref
@@ -52,8 +52,6 @@
 
 ./examples/using_dune/preprocessed_lib/preprocessed.mli:1: unused
 ./examples/using_dune/preprocessed_lib/preprocessed.mli:3: internally_used
-./examples/using_dune/preprocessed_lib/preprocessed.mli:19: equal_constr_with_eq: Should not be detected
-./examples/using_dune/preprocessed_lib/preprocessed.mli:29: equal_record_with_eq: Should not be detected
 ./examples/using_dune/preprocessed_lib/preprocessed.mli:38: internally_used_f
 ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:2: unused
 
@@ -721,7 +719,7 @@ Nothing else to report in this section
 --------------------------------------------------------------------------------
 
 
-Total: 595
+Total: 593
 Success: 586
-Failed: 9
-Ratio: 98.487394958%
+Failed: 7
+Ratio: 98.8195615514%
diff --git a/check/threshold-1/threshold-1.ref b/check/threshold-1/threshold-1.ref
index 3e9ca71..eb6e126 100644
--- a/check/threshold-1/threshold-1.ref
+++ b/check/threshold-1/threshold-1.ref
@@ -244,10 +244,9 @@
 
 ./examples/using_dune/preprocessed_lib/preprocessed.mli:3: internally_used
 ./examples/using_dune/preprocessed_lib/preprocessed.mli:4: externally_used
-./examples/using_dune/preprocessed_lib/preprocessed.mli:19: equal_constr_with_eq: Should not be detected
 ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:4: internally_used
 ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:5: externally_used
-./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:30: equal_constr_with_eq: Should not be detected
+
 ./examples/using_dune/reduced_lib/reduced_lib.mli:2: Values.used
 ./examples/using_dune/reduced_lib/reduced_lib.mli:5: Values.externally_used
 ./examples/using_dune/reduced_lib/reduced_lib.mli:9: Values_no_intf.used
@@ -1128,7 +1127,7 @@ Nothing else to report in this section
 --------------------------------------------------------------------------------
 
 
-Total: 931
+Total: 929
 Success: 921
-Failed: 10
-Ratio: 98.9258861439%
+Failed: 8
+Ratio: 99.1388589882%
diff --git a/check/threshold-3-0.5/threshold-3-0.5.ref b/check/threshold-3-0.5/threshold-3-0.5.ref
index a4b7ef6..e04bb50 100644
--- a/check/threshold-3-0.5/threshold-3-0.5.ref
+++ b/check/threshold-3-0.5/threshold-3-0.5.ref
@@ -244,10 +244,9 @@
 
 ./examples/using_dune/preprocessed_lib/preprocessed.mli:3: internally_used
 ./examples/using_dune/preprocessed_lib/preprocessed.mli:4: externally_used
-./examples/using_dune/preprocessed_lib/preprocessed.mli:19: equal_constr_with_eq: Should not be detected
 ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:4: internally_used
 ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:5: externally_used
-./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:30: equal_constr_with_eq: Should not be detected
+
 ./examples/using_dune/reduced_lib/reduced_lib.mli:2: Values.used
 ./examples/using_dune/reduced_lib/reduced_lib.mli:5: Values.externally_used
 ./examples/using_dune/reduced_lib/reduced_lib.mli:9: Values_no_intf.used
@@ -416,12 +415,10 @@
 ./examples/docs/optional_arguments/limitations/relaying/relaying_bin.ml:2: f
 
 ./examples/using_dune/preprocessed_lib/preprocessed.mli:2: used
-./examples/using_dune/preprocessed_lib/preprocessed.mli:29: equal_record_with_eq: Should not be detected
 ./examples/using_dune/preprocessed_lib/preprocessed.mli:31: exported_f
 ./examples/using_dune/preprocessed_lib/preprocessed.mli:38: internally_used_f
 ./examples/using_dune/preprocessed_lib/preprocessed.mli:44: externally_used_f
 ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:3: used
-./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:45: equal_record_with_eq: Should not be detected
 ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:53: f
 ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:59: internally_used_f
 ./examples/using_dune/preprocessed_lib/preprocessed_no_intf.ml:64: externally_used_f
@@ -1534,7 +1531,7 @@ Nothing else to report in this section
 --------------------------------------------------------------------------------
 
 
-Total: 1255
+Total: 1251
 Success: 1243
-Failed: 12
-Ratio: 99.0438247012%
+Failed: 8
+Ratio: 99.3605115907%