Specify Code Contracts assertions for the interface InvestorI.
Specify Code Contracts assertions for classes Asset, Stock and Bond in such
a way that constraints for classes Stock and Bond are compatible with the
constraints for class Asset.