let
descr =
"allow the use of the -slicing-level option for calls to undefined functions"