method vfunc fundec =
let name = fundec.svar.vname in
operate <-
Datatype.String.Set.is_empty fnames
|| Datatype.String.Set.mem name fnames;
if operate then
PropagationParameters.feedback
~level:2
"propagated constant in function %s"
(fundec.svar.vname);
DoChildren