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

Invariant generation: transSys revamp.
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
One state monolithic invariant generation without communication.
Using new transition system, broke COI reduction
Need to fix reconstruction of Lustre model
Slicing of cex and interpreter use new trans. sys.
Closure of called nodes w/o duplicates as source
Changed graph logging, reactivated two state inv gen.
Merge pull request #165 from chsticksel/inv-gen

Use new transition system in parser
Merge remote-tracking branch 'upstream/inv-gen' into invGen
Instantiation of terms in the trans sys hierarchy.
Term instantiation at top level in trans sys.
Modular invariant generation with instantiation.
Invgen working, need to do subsys candidate generation.