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