let help = "use <n> as the depth of the default context for value analysis. (defaults to 2)"