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