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