let
descr =
"override slevel with <n> when analyzing <f>"