Assert liberally to document internal assumptions and invariants.

• 广泛地使用断言记录内部假设和不变式。