Report question

Question: Code Contracts: Why are some invariants not considered outside the class?