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
Don't fail slicing when called node already sliced
Merge pull request #206 from chsticksel/develop

Don't fail slicing when called node already sliced