Merge pull request #158 from AdrienChampion/invariantGeneration

Invariant generation: lock step driver
Preparing transSys for revamping.