let
descr =
"set <n> as number of iterations before widening (defaults to 3)"