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