Bug fix: two-state invgen would not guard with init for top level.
Merge pull request #202 from AdrienChampion/develop

Bug fix: two-state invgen would not guard with init for top level.
Broken commit before multi solver in lsd.
Modified state var handling in trans sys.
Cleaned a dirty thing in trans sys.
Fix in PDR.
Merge pull request #203 from AdrienChampion/fix_svar-declaration

Fixed svar unrolling, invGen uses 3 solvers now.
Deactivated expensive sanity checks in lsd.
Merge pull request #204 from AdrienChampion/fix_invgen-no-checks

Deactivated expensive sanity checks in lsd.
External calls for invariant generation.
Documented invGen external calls.
Corrected fsharp comments in invgen doc.
Typo in doc.
Additional doc, and no more lsd.
InvGen cleaner destruction of lsd before returning.
Merge pull request #205 from AdrienChampion/invGen-external-call

External calls to invariant generation
Merge pull request #206 from chsticksel/develop

Don't fail slicing when called node already sliced