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