Added implementation details of FindRedundantNullChecks in optimize/design.txt.