Give a WeakReference-variable a clearer name.
Remove ContractInvariantMethods - those can be inferred.