1. The condition should hold at the end of every constructor.
2. The condition should hold at the end of every mutator(non-const) operation..