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