Question: Code Contracts with Interfaces: "Method Invocation skipped. Compiler will generate method invocation because the method is conditional... [...]"