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 ()))