contracts-programming: Add some random ideas