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