let statement stmt = let computer = new do_it in ignore (visitFramacStmt (computer:>frama_c_visitor) stmt); computer#result