let
descr =
"select the threats of functions f1,...,fn"