PDR changes
Merge branch 'develop' of https://github.com/kind2-mc/kind2 into develop
Implemented inductive generalization in PDR
Corrected PDR logical error
Corrected logical error in PDR inductive generalization
PDR inductive generalization
Implemented activity tracking of literals in inductive generalization
Merge branch 'develop' of https://github.com/kind2-mc/kind2 into develop
Added statistics for tracking inductive generaliztion in PDR
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
Correcting flag issues, changing PDR inductive generalization hook locations