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