update oracle and cache

tests/bugs/oracle/issue27-pred.res.oracle

@@ -4,8 +4,8 @@ Now output intermediate result
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Alt-Ergo] Goal typed_Z3posi_ensures : Valid
 [wp] [Alt-Ergo] Goal typed_Z3posi_ensures_2 : Valid
+[wp] [Alt-Ergo] Goal typed_Z3posi_ensures : Valid
 [wp] Proved goals:    2 / 2
   Qed:             0 
   Alt-Ergo:        2

tests/wp-cache/cache/2f7a37f471889e53309478f7111f2e3b.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0087,
+  "steps": 5 }

tests/wp-cache/cache/349453e3fffbad07325f8bf5b3443b23.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0098,
+  "steps": 4 }

tests/wp-cache/cache/88256e17ad3e563fabf4a3938c3414a4.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0075,
+  "steps": 7 }

tests/wp-cache/cache/90b7ae9827e313e62f15a4c232815006.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0083,
+  "steps": 6 }

tests/wp-cache/cache/a0bac3df4ce0b56c7de3f42bb7e3fdea.json

+{ "prover": "Alt-Ergo:2.0.0", "verdict": "timeout", "time": 10. }

tests/wp-cache/cache/dbf0fd12923e897b3af199827b5edf2b.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "unknown" }

tests/wp-cache/cache/df1d30bf7323b86cce32a6e8fd4c9f58.json

+{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0135,
+  "steps": 14 }