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

Improved candidate term generation scalability