let
null_adder fdec =
ignore(visitCilFunction (
new
nullAdderClass) fdec);
!all_stmts