let help = "propagate constants only into functions f1,...,fn"