let rm_asserts () =
let to_be_removed = f_check_asserts () in
let n = List.length to_be_removed in
(if n > 0 then
R.feedback "[rm_asserts] removing %d assertion(s)@." n);
let visitor = new rm_annot_visitor to_be_removed in
ignore (Visitor.visitFramacFile (visitor:>Visitor.frama_c_visitor)
(Ast.get ()))