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