close_expand_button  335 src/StmtToHtml.cpp         stream << close_expand_button() << " {";
close_expand_button  370 src/StmtToHtml.cpp         stream << close_expand_button();
close_expand_button  475 src/StmtToHtml.cpp         stream << close_expand_button();
close_expand_button  524 src/StmtToHtml.cpp             stream << close_expand_button() << " ";
close_expand_button  549 src/StmtToHtml.cpp                 stream << close_expand_button() << "{";
close_expand_button  618 src/StmtToHtml.cpp         stream << close_expand_button();