Removed early check that cand term has variables.
true(false)_of_unit is now in lib, enjoy.
LSD: transition predicates now conditional.
Merge pull request #197 from AdrienChampion/invGen-optimization

Improved candidate term generation scalability
Construct negative rationals with minus operator
Merge pull request #198 from chsticksel/develop

Construct negative rationals with minus operator
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.
build.sh: $* -> "$@"

The $* syntax fails in case the user calls the script with arguments
containing spaces, eg. build.sh --prefix '/home/My Software/'. The "$@"
syntax just does the right thing.
Merge pull request #199 from moy/args

build.sh: $* -> "$@"
One state is now activated by default
Squashed 'ocamlczmq/' changes from 582d025..287c62b

287c62b build.sh: $* -> "$@"

git-subtree-dir: ocamlczmq
git-subtree-split: 287c62bb16f63b21ba7673ec6e1c200cc4b51fc5
Fixed ocamlczmq build script
Corrected the help description of flag bmc_max.
Merge pull request #200 from chsticksel/develop

Fixed ocamlczmq build script
make
Edited flags for invgen.
Merge pull request #201 from AdrienChampion/invGen-conditional-trans

Improved invariant generation