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