SMTExpr to Term now supports negative offsets.
Merge pull request #154 from AdrienChampion/bugfix_parsing-neg-offset

Bug fix: SMTExpr to Term now supports negative offsets of var-s
Bug fix in LSD.
Merge remote-tracking branch 'origin/invariantGeneration'
Bugfix in LSD.
Merge remote-tracking branch 'origin/invariantGeneration'
Fixed information printing in verbose modes.
Merge pull request #155 from AdrienChampion/bugfix_step-statistics

Fixed information printing in verbose modes.
Do not search in path if absolute path given
Merge pull request #156 from chsticksel/develop

Do not search in path if absolute path given
Merge remote-tracking branch 'upstream/develop' into invariantGeneration
Merge remote-tracking branch 'origin/bugfix_step-statistics'
LSD with models at -1/0.
Merge pull request #158 from AdrienChampion/invariantGeneration

Invariant generation: lock step driver
Merge remote-tracking branch 'origin/develop'
Bumped trans to -1/0
Used subnodes invariants