Words near design-by-contract-programming in the dictionary