let expr stmt e =
  let computer = new do_it in
  computer#set_current_stmt stmt;
  ignore (visitCilExpr (computer:>cilVisitor) e);
  computer#result