let help = "Show progression messages during value analysis"