added a very basic test of stmt_to_html