[wp] cache & script update

src/plugins/wp/tests/wp_plugin/oracle_qualif/unsigned.0.session/cache/1bb537c78b8c75937146b054d82dcc18.json

-{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.0189,
-  "steps": 12 }
+{ "prover": "Alt-Ergo:2.3.0", "verdict": "failed" }

src/plugins/wp/tests/wp_plugin/oracle_qualif/unsigned.0.session/cache/284a5858dd64443846fc65ac65529167.json

-{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.0205,
-  "steps": 14 }

src/plugins/wp/tests/wp_plugin/oracle_qualif/unsigned.0.session/cache/45b4321404dd1cb2353aba38b0fbe37d.json

-{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.021,
-  "steps": 12 }
+{ "prover": "Alt-Ergo:2.3.0", "verdict": "failed" }

src/plugins/wp/tests/wp_plugin/oracle_qualif/unsigned.0.session/cache/493c0fe01cbc4d37ef3d43ec817ce6c1.json

-{ "prover": "Alt-Ergo:2.3.0", "verdict": "valid", "time": 0.0201,
-  "steps": 14 }

src/plugins/wp/tests/wp_plugin/oracle_qualif/unsigned.0.session/cache/a85c519ac770748cb6c297b0f4299ac4.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.011,
+  "steps": 10 }

src/plugins/wp/tests/wp_plugin/oracle_qualif/unsigned.0.session/cache/f68661d77a8a5cf449601b04c2baf536.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0082,
+  "steps": 10 }

src/plugins/wp/tests/wp_plugin/oracle_qualif/unsigned.0.session/script/lemma_U32.json

@@ -8,10 +8,10 @@
                                "select": { "select": "clause-goal",
                                            "target": "(0<=x_0) /\\ (0<=(land 4294967295 x_0)) /\\ (x_0<=4294967295)",
                                            "pattern": "&<=<=<=0$x0land$x42949672954294967295" },
-                               "children": { "Goal 1/3": [ { "prover": "Alt-Ergo:2.3.0",
+                               "children": { "Goal 1/3": [ { "prover": "Alt-Ergo:2.0.0",
                                                              "verdict": "valid",
-                                                             "time": 0.021,
-                                                             "steps": 12 } ],
+                                                             "time": 0.011,
+                                                             "steps": 10 } ],
                                              "Goal 2/3": [ { "header": "Bit Range",
                                                              "tactic": "Wp.bitrange",
                                                              "params": 
@@ -25,8 +25,8 @@
                                                                { "bit-range": 
                                                                    [ { "prover": "qed",
                                                                     "verdict": "valid" } ] } } ],
-                                             "Goal 3/3": [ { "prover": "Alt-Ergo:2.3.0",
+                                             "Goal 3/3": [ { "prover": "Alt-Ergo:2.0.0",
                                                              "verdict": "valid",
-                                                             "time": 0.0189,
-                                                             "steps": 12 } ] } } ],
+                                                             "time": 0.0082,
+                                                             "steps": 10 } ] } } ],
                   "bitwise": [ { "prover": "qed", "verdict": "valid" } ] } } ]