let option_name = "-separate-stmts"