Moved sell_in specs into invariants.