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