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