Modify Post: Code Contracts - Contract Reference Assembly