Demonstrates "Unknown custom metadata item kind: 5" error in Code Contracts with Roslyn