Preparing transSys for revamping.
Changed a function name for consistency.
Merge pull request #159 from AdrienChampion/invariantGeneration

Invariant generation: transSys revamp.
Merge pull request #161 from chsticksel/develop

Deactivate slicing to COI in interpreter
Merge remote-tracking branch 'upstream/inv-gen' into inv-gen
Bug fix in revamped trans sys.
Merge remote-tracking branch 'upstream/develop' into invariantGeneration
Merge pull request #162 from AdrienChampion/invariantGeneration

Invariant generation
Merge remote-tracking branch 'upstream/inv-gen' into inv-gen
Using new transition system, broke COI reduction