LSD: transition predicates now conditional.
Merge remote-tracking branch 'upstream/develop' into invGen-conditional-trans
Subsys inv com and rewriting invGen.
Cleaned flags, rewrote lsd, better invgen.
Bug fix: two state would miss invariants because of one state.
One state is now activated by default
Corrected the help description of flag bmc_max.
make
Edited flags for invgen.
Merge pull request #201 from AdrienChampion/invGen-conditional-trans

Improved invariant generation