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