class rm_annot_visitor :Visitor to remove the annotations collected byCil_types.code_annotation list ->
object
..end
check_asserts
.
In fact, it changes them to assert true;
method vcode_annot : Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction