let f_check_asserts () = let visitor = new check_annot_visitor in ignore (Visitor.visitFramacFile (visitor:>Visitor.frama_c_visitor) (Ast.get ())); visitor#get_to_be_removed ()