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