Change `isxxx` and `hasxxx` to `is_xxx` and `has_xxx` (issue 1061).

The coding and design conventions (CDC) document was also updated.