Merge branch 'feature/blanchard/wp/clean-why3-theories' into 'master'

Removed axioms in WP Why3 theories

See merge request frama-c/meta!106

tests/wp-cache/cache/4ff8df5d1382ee4960cd73bb909e24d6.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "valid", "time": 0.013304,
+  "steps": 100 }

tests/wp-cache/cache/668ba3c4edcd1364fbc5048ac39871a8.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "valid", "time": 0.010434,
+  "steps": 136 }

tests/wp-cache/cache/6cd25e85476e45fa143414a1b742a7e5.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/784ce709501ddf52d8c8fe13d690c586.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/ae23872dbe5c7a0a85f6b953d59bae00.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "valid", "time": 0.010082,
+  "steps": 23 }

tests/wp-cache/cache/b135c005faecc3e6ab2983f80e487cf2.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/c180abc32c08538fb405196bf656c7b8.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "valid", "time": 0.008394,
+  "steps": 20 }

tests/wp-cache/cache/c841f3a67bca4a432ffc15da54406daf.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/c8d978b7a1a7f321948d0aedd2a25ea3.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/dca7313a647876c072e0ba8489942919.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "valid", "time": 0.018143,
+  "steps": 69 }

tests/wp-cache/cache/e8a19c17aac0f623a62ecb8711005a76.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "timeout", "time": 1. }

tests/wp-cache/cache/f5f22130a3eb28dc01acb9b39e3a6679.json

+{ "prover": "Alt-Ergo:2.5.3", "verdict": "valid", "time": 0.01029,
+  "steps": 22 }