Merge pull request #154 from SkySkimmer/no-opt-schemes

Adapt to rocq-prover/rocq#21241 (eq_rec not defined using eq_rect)

Author: ppedrot

tests/graph.dot.oracle

@@ -412,7 +412,9 @@ Test_count_occ [label="count_occ", URL=<Test.html#count_occ>, fillcolor="#F070D1
   Test_list_sind -> Test_cons [] ;
   Test_list_sind -> Test_nil [] ;
   Test_list_sind -> Test_list [] ;
-  Test_list_rec -> Test_list_rect [] ;
+  Test_list_rec -> Test_cons [] ;
+  Test_list_rec -> Test_nil [] ;
+  Test_list_rec -> Test_list [] ;
   Test_in_split_r -> Test_split [] ;
   Test_in_split_r -> Test_In [] ;
   Test_in_split_r -> Test_list_ind [] ;

tests/graph.dpd.oracle

@@ -1088,10 +1088,9 @@ E: 176 183 [weight=3, ];
 E: 177 181 [weight=2, ];
 E: 177 182 [weight=2, ];
 E: 177 183 [weight=8, ];
-E: 178 180 [weight=1, ];
-E: 178 181 [weight=1, ];
-E: 178 182 [weight=1, ];
-E: 178 183 [weight=4, ];
+E: 178 181 [weight=2, ];
+E: 178 182 [weight=2, ];
+E: 178 183 [weight=8, ];
 E: 179 181 [weight=2, ];
 E: 179 182 [weight=2, ];
 E: 179 183 [weight=8, ];