[Why3] new version 0.82