C::A Invariants

• Multiple invariants allowed
• Run before and after every public instance method
• Given the object as the only argument