Bug fix: two state would miss invariants because of one state.