Bugfix in step, not ignoring invariants now.