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