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