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