sig val elim_dead_code : Cil_types.fundec -> Cil_types.fundec val elim_dead_code_fp : Cil_types.fundec -> Cil_types.fundec val dce : full:bool -> Cil_types.file -> unit end