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