let descr =
           "use the slicing pragmas in the code of functions f1,...,fn as slicing criteria"