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