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