InvariantManager

What is the InvariantManager?

The InvariantManager is a Class, which holds a WeakIdentityDictionary of Classes referencing to their Invariants. Since it was not recommended to add state to the Behavior class, the Behavior class got fake accessors, which intern lookup their Invariant at the InvariantManager.