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