Can now call invariant generation from anywhere with some candidates.
Merge pull request #196 from AdrienChampion/feature_invGen-queries

Can now call invariant generation from anywhere with some candidates.