sig   type rootsFilter = Cil_types.global -> bool   val isDefaultRoot : Rmtmps.rootsFilter   val isExportedRoot : Rmtmps.rootsFilter   val isCompleteProgramRoot : Rmtmps.rootsFilter   val removeUnusedTemps :     ?isRoot:Rmtmps.rootsFilter -> Cil_types.file -> unit   val remove_unused_labels :     ?is_removable:(Cil_types.label -> bool) -> Cil_types.fundec -> unit   val keepUnused : bool Pervasives.ref   val rmUnusedInlines : bool Pervasives.ref   val rmUnusedStatic : bool Pervasives.ref end