Assertion: coding rule.
Assertion: fix a local-variable bug.