let dce f =
  if !debug then (Cilmsg.debug "DCE: starting dead code elimination\n");
  visitCilFile (new deadCodeElimClass) f