- remove needless comments generated during interface conversion - filter null statements even in verbose mode - hoist trace comment statements if doing so would prevent the need to wrap a task or function body in a block - add traces for global declarations - add traces for parameter declaration lists - add traces for module items within generate blocks - avoid generating duplicate traces before declarations