In effect, DbC advocates writing the assertions first.
实际上，DbC提倡首先写断言。