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