Base and step now stop at flags.bmc_max.
Merge pull request #160 from AdrienChampion/feature_k-induction-max-k

Base and step now stop at flags.bmc_max.
Deactivate slicing to COI in interpreter
Merge pull request #161 from chsticksel/develop

Deactivate slicing to COI in interpreter
Bug fix in revamped trans sys.
Merge remote-tracking branch 'upstream/develop' into invariantGeneration