let help = "use the impact pragmas in the code of functions f1,...,fn"