Correct some problem related to new bool encoding
Add tests from fmcad with k annotation to new_backend branch
Correct a bug in ensures stack generation related to existential
Correct bug when there is no precondition and change reprensentationof boolean in ACSL
Add lustrec files for ALT1 and ALT2
add makefile
ALT2 proved by framaC without human interaction
add coq proof
ALT_2 working with modification made by hand
Correct bug option exists
ALT2_inlined
Update on c backend proof
Bugfixes and coq proof generation for lemma inv_inv
add coq support
correct bug in proof printing
playing with ALT2