[wp] Upgrade script for AE 2.2.0

src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_n.json

@@ -3,6 +3,6 @@
                 "target": "not (bit_test off_0 15)",
                 "pattern": "!bit_test$off15" },
     "children": { "Bit #15 (inf)": [ { "prover": "qed", "verdict": "valid" } ],
-                  "Bit #15 (sup)": [ { "prover": "Alt-Ergo:2.0.0",
-                                       "verdict": "valid", "time": 0.0203,
-                                       "steps": 21 } ] } } ]
+                  "Bit #15 (sup)": [ { "prover": "Alt-Ergo:2.2.0",
+                                       "verdict": "valid", "time": 0.0263,
+                                       "steps": 32 } ] } } ]

src/plugins/wp/tests/wp_plugin/oracle_qualif/bitmask0x8000.0.session/script/lemma_res_y.json

@@ -2,7 +2,7 @@
     "select": { "select": "inside-step", "at": 1, "kind": "have", "occur": 0,
                 "target": "(bit_test off_0 15)",
                 "pattern": "bit_test$off15" },
-    "children": { "Bit #15 (inf)": [ { "prover": "Alt-Ergo:2.0.0",
-                                       "verdict": "valid", "time": 0.0214,
-                                       "steps": 20 } ],
+    "children": { "Bit #15 (inf)": [ { "prover": "Alt-Ergo:2.2.0",
+                                       "verdict": "valid", "time": 0.0129,
+                                       "steps": 32 } ],
                   "Bit #15 (sup)": [ { "prover": "qed", "verdict": "valid" } ] } } ]