Questions for design-by-contract