let expr stmt e =
  let computer = new do_it in
  computer#push_stmt stmt;
  ignore (visitFramacExpr (computer:>frama_c_visitor) e);
  computer#result