method vcode_annot annot =
let kf = Extlib.the self#current_kf in
let stmt =
Cil.get_original_stmt self#behavior (Cilutil.valOf self#current_stmt)
in
let before = self#is_annot_before in
let _ = match annot.annot_content with
| AAssert (_, _) ->
if before then begin
R.debug ~level:2 "[check] annot %d at stmt %d in %a : %a@."
annot.annot_id stmt.sid Kernel_function.pretty_name kf
!Ast_printer.d_code_annotation annot;
let _, added = add_annot annot to_be_removed in
if added then
let _scope, rem =
get_prop_scope_at_stmt kf stmt ~to_be_removed annot
in to_be_removed <- rem
end
| _ -> ()
in Cil.SkipChildren