let option_name = "-semantic-const-folding"