Relocate vc for variant clauses
The idea is to relocate the term used for the verification condition of the variant decrease to the variant itself instead of the while loop.
Also, update counterexamples bench accordingly.
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
The idea is to relocate the term used for the verification condition of the variant decrease to the variant itself instead of the while loop.
Also, update counterexamples bench accordingly.