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