Bug fix in one state invgen, reverted negation rule.
Bug fixes.