Add section about CFG and code coverage.