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