Scope
val rm_asserts : unit -> unit
Removes redundant assertions. Warns if the scope plugin is missing.
Frama-C