Bug fix: two-state invgen would not guard with init for top level.
Merge pull request #202 from AdrienChampion/develop

Bug fix: two-state invgen would not guard with init for top level.